summaryrefslogtreecommitdiff
path: root/devtools/testparser.rb
diff options
context:
space:
mode:
Diffstat (limited to 'devtools/testparser.rb')
0 files changed, 0 insertions, 0 deletions
© Neumann2-4/+19 2012-02-23Do not use the find-theorems-form in PGRenĂ© Neumann1-1/+1 2012-01-30ebuild_error_on_trailing_whitespace is deprecatedRenĂ© 'Necoro' Neumann1-1/+0 2012-01-10Add 'block' command to mako syntaxRenĂ© 'Necoro' Neumann1-2/+2 2012-01-10Changes needed for haddock browser.RenĂ© 'Necoro' Neumann1-1/+2 2011-12-09Update haskellmodeRenĂ© Neumann1-2/+1 2011-12-09Update haskellmodeRenĂ© Neumann5-82/+228 2011-11-21Set Poly/ML as the default SML interpreter.RenĂ© Neumann1-0/+3 2011-11-21Added support for jedit.RenĂ© Neumann2-4/+11 2011-11-16Make 'hg k' work similar to 'git k'RenĂ© 'Necoro' Neumann1-0/+3 2011-10-14'tabgroup' -> 'tabgroups'RenĂ© 'Necoro' Neumann1-1/+1 2011-10-14Switch from openoffice alias to libreoffice (ooffice -> soffice)RenĂ© 'Necoro' Neumann1-2/+2 2011-10-14Make the quotes in ProofGeneral to be nearly invisibleRenĂ© Neumann1-1/+1 2011-08-23Disable hightlighting of the domain in the FF urlbarRenĂ© Neumann1-0/+3 2011-08-12Enhance IE scriptRenĂ© Neumann1-6/+7 2011-08-11BlaRenĂ© 'Necoro' Neumann1-0/+2 2011-08-11Local fontsRenĂ© 'Necoro' Neumann1-13/+22 2011-08-11Better inconsolata thingsRenĂ© Neumann4-4/+13 2011-08-10Moved some functions to their own filesRenĂ© Neumann3-124/+120 2011-08-10More advanced IE scriptRenĂ© Neumann2-1/+74 2011-08-10Inconsolata also in emacsRenĂ© Neumann1-1/+1 2011-08-10Better vim fontsRenĂ© 'Necoro' Neumann1-1/+1 2011-08-09ooffice aliasRenĂ© Neumann1-0/+2 2011-08-09Update the needed hg-extensions.RenĂ© Neumann1-1/+2 2011-06-08gtkrc stuff for Qt-Gtk-StyleRenĂ© 'Necoro' Neumann2-0/+8 2011-06-08Updated fonts.conf to work better on lcdsRenĂ© 'Necoro' Neumann1-17/+6