Apply patch |
|
More...
|
almost 11 years ago
|
Merge pull request #35 from gdetrez/master |
|
More...
|
almost 11 years ago
|
Disable the gadt tests by default |
|
More...
|
almost 11 years ago
|
Apply patch from Alex Rozenshteyn to fix the gadt backend |
|
More...
|
almost 11 years ago
|
Adds a new system test for haskell with GADT |
|
More...
|
almost 11 years ago
|
When running tests, make sure that the new bnfc is used |
|
More...
|
almost 11 years ago
|
bar |
|
More...
|
almost 11 years ago
|
foo |
|
More...
|
almost 11 years ago
|
Improve test organization |
|
More...
|
almost 11 years ago
|
Introdue the new option parser in Main |
|
More...
|
almost 11 years ago
|
Adds LaTeX as an option in the parser |
|
More...
|
almost 11 years ago
|
More consistent target names |
|
More...
|
almost 11 years ago
|
More consistent target names |
|
More...
|
almost 11 years ago
|
More consistent target names |
|
More...
|
almost 11 years ago
|
Refactoring aptions parsing |
|
More...
|
almost 11 years ago
|
New function to parse high level options |
|
More...
|
almost 11 years ago
|
Make travis print even more info to examine the situation |
|
More...
|
almost 11 years ago
|
typos and housekeeping |
|
More...
|
almost 11 years ago
|
Add --help options, both globaly and to the latex mode |
|
More...
|
almost 11 years ago
|
Attempt to fix the travis build by making apt more verbose |
|
More...
|
almost 11 years ago
|
Small change to usage message |
|
More...
|
almost 11 years ago
|
Fix latex clean problems |
|
More...
|
almost 11 years ago
|
Remove latex generation from other modes |
|
More...
|
almost 11 years ago
|
Add a separate latex mode |
|
More...
|
almost 11 years ago
|
Rename java5 ta java and fix build |
|
More...
|
almost 11 years ago
|
Remove backend for java 1.4 |
|
More...
|
almost 11 years ago
|
Improve Error reporting |
|
More...
|
almost 11 years ago
|
Remove useless code |
|
More...
|
almost 11 years ago
|
Improve option symtax |
|
More...
|
almost 11 years ago
|
Remove dead code |
|
More...
|
almost 11 years ago
|