aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_HiddenInstancesB.html
Commit message (Collapse)AuthorAgeFilesLines
* Fix extra whitespace on signatures and update all test casesNiklas Haas2014-08-241-1/+1
| | | | | This was long overdue, now running ./accept.lhs on a clean test from master will not generate a bunch of changes.
* Move HTML reference renderings to /html-test/ref/Simon Hengel2012-10-151-0/+41