Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add test case for PatternSynonyms | nand | 2014-02-11 | 1 | -0/+241 |
* | Improve display of poly-kinded type operators | nand | 2014-02-11 | 1 | -66/+226 |
* | Add support for type/data families | nand | 2014-02-11 | 3 | -79/+727 |
* | Correct whitespace in ‘hidden’ test for <+> change | Mateusz Kowalczyk | 2014-01-30 | 1 | -4/+4 |
* | Handle infix vs prefix names correctly everywhere, by explicitly specifying t... | Dr. ERDI Gergo | 2014-01-31 | 1 | -3/+3 |
* | Update tests | Mateusz Kowalczyk | 2014-01-30 | 2 | -2/+2 |
* | <+>: Don't insert a space when concatenating empty nodes | Dr. ERDI Gergo | 2014-01-31 | 23 | -224/+224 |
* | Allow for nesting of paragraphs under lists. | Mateusz Kowalczyk | 2014-01-12 | 5 | -20/+298 |
* | Per-module extension flags and language listing. | Mateusz Kowalczyk | 2014-01-12 | 1 | -0/+89 |
* | Support for bold. | Mateusz Kowalczyk | 2014-01-12 | 1 | -0/+101 |
* | Update acceptance tests | Simon Hengel | 2014-01-12 | 1 | -2/+8 |
* | Fix totality, unicode, examples, paragraph parsing | Simon Hengel | 2014-01-12 | 42 | -393/+201 |
* | Don't append newline to parseString input | Simon Hengel | 2014-01-12 | 56 | -293/+175 |
* | One pass parser and tests. | Mateusz Kowalczyk | 2014-01-12 | 1 | -26/+36 |
* | Bump version | Simon Hengel | 2013-11-10 | 56 | -56/+56 |
* | Update HTML tests | Simon Hengel | 2013-11-09 | 4 | -0/+275 |
* | Update tests. | David Waern | 2013-08-09 | 1 | -4/+16 |
* | Fix failing test | Simon Hengel | 2013-07-08 | 1 | -2/+2 |
* | Fix failing test | Simon Hengel | 2013-07-08 | 1 | -1/+1 |
* | Fix broken test | Simon Hengel | 2013-06-01 | 1 | -3/+3 |
* | Bump version | Simon Hengel | 2012-12-07 | 54 | -54/+54 |
* | Add test case for "spurious superclass constraints bug" | Simon Hengel | 2012-10-15 | 2 | -0/+161 |
* | Copy css, images, etc. on accept | Simon Hengel | 2012-10-15 | 6 | -0/+890 |
* | Move HTML reference renderings to /html-test/ref/ | Simon Hengel | 2012-10-15 | 107 | -0/+11535 |