Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | testsuite: Update expected output for simplified subsumption | Ben Gamari | 2020-06-03 | 1 | -1/+1 |
| | |||||
* | Omit unnecessary foralls and fix #315 | Niklas Haas | 2014-08-24 | 1 | -1/+22 |
| | | | | This also fixes #86. | ||||
* | Don't append newline to parseString input | Simon Hengel | 2014-01-12 | 1 | -0/+1 |
| | | | | We also check that we have parsed everything with endOfInput. | ||||
* | Move source files for HTML tests to html-test/src | Simon Hengel | 2012-10-15 | 1 | -0/+16 |