aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/TypeFamilies.html
Commit message (Expand)AuthorAgeFilesLines
* Fix issue #281Niklas Haas2014-03-151-81/+223
* Strip links from recently added html testsNiklas Haas2014-03-131-115/+115
* Bump version to 2.15.0Mateusz Kowalczyk2014-03-111-1/+1
* Add test case for inter-module type/data family instancesNiklas Haas2014-02-151-0/+28
* Improve display of poly-kinded type operatorsnand2014-02-111-66/+226
* Add support for type/data familiesnand2014-02-111-79/+595
* <+>: Don't insert a space when concatenating empty nodesDr. ERDI Gergo2014-01-311-6/+6
* Fix totality, unicode, examples, paragraph parsingSimon Hengel2014-01-121-10/+5
* Don't append newline to parseString inputSimon Hengel2014-01-121-1/+1
* Bump versionSimon Hengel2013-11-101-1/+1
* Bump versionSimon Hengel2012-12-071-1/+1
* Move HTML reference renderings to /html-test/ref/Simon Hengel2012-10-151-0/+212