Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix issue #281 | Niklas Haas | 2014-03-15 | 1 | -81/+223 |
* | Strip links from recently added html tests | Niklas Haas | 2014-03-13 | 1 | -115/+115 |
* | Bump version to 2.15.0 | Mateusz Kowalczyk | 2014-03-11 | 1 | -1/+1 |
* | Add test case for inter-module type/data family instances | Niklas Haas | 2014-02-15 | 1 | -0/+28 |
* | Improve display of poly-kinded type operators | nand | 2014-02-11 | 1 | -66/+226 |
* | Add support for type/data families | nand | 2014-02-11 | 1 | -79/+595 |
* | <+>: Don't insert a space when concatenating empty nodes | Dr. ERDI Gergo | 2014-01-31 | 1 | -6/+6 |
* | Fix totality, unicode, examples, paragraph parsing | Simon Hengel | 2014-01-12 | 1 | -10/+5 |
* | Don't append newline to parseString input | Simon Hengel | 2014-01-12 | 1 | -1/+1 |
* | Bump version | Simon Hengel | 2013-11-10 | 1 | -1/+1 |
* | Bump version | Simon Hengel | 2012-12-07 | 1 | -1/+1 |
* | Move HTML reference renderings to /html-test/ref/ | Simon Hengel | 2012-10-15 | 1 | -0/+212 |