Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Display linear/multiplicity arrows correctly (#1238) | Krzysztof Gogolewski | 2021-02-05 | 4 | -0/+112 |
* | Many LaTeX backend fixes | Alec Theriault | 2019-03-09 | 27 | -634/+132 |
* | Avoid multi-line `emph` in LaTeX backend | Alec Theriault | 2019-03-09 | 4 | -0/+92 |
* | Better support for default methods in classes | Alec Theriault | 2019-03-09 | 4 | -0/+128 |
* | Support value/type namespaces on identifier links | Alec Theriault | 2019-02-25 | 4 | -0/+122 |
* | Accept test cases | Alec Theriault | 2018-08-21 | 3 | -0/+104 |
* | Better rendering of unboxed sums/tuples | Alec Theriault | 2018-08-21 | 1 | -0/+18 |
* | Latex type families (#734) | Alec Theriault | 2018-08-04 | 4 | -0/+133 |
* | Misc tests (#858) | Alec Theriault | 2018-07-20 | 8 | -0/+299 |
* | Fix test failures on Windows (#564) | Yuji Yamamoto | 2017-07-03 | 1 | -1/+3 |
* | testsuite: Rework handling of output sanitization | Ben Gamari | 2016-02-08 | 1 | -1/+2 |
* | Get rid of obsolete testing utilities. | Łukasz Hanuszczak | 2015-08-24 | 2 | -208/+0 |
* | Accept output for Hoogle and LaTeX backends. | Łukasz Hanuszczak | 2015-08-24 | 1 | -2/+1 |
* | Improve portability of test runner scripts. | Łukasz Hanuszczak | 2015-08-22 | 1 | -2/+3 |
* | Create test runner entry points for LaTeX test suite. | Łukasz Hanuszczak | 2015-08-22 | 2 | -0/+32 |
* | solve dataDir ambiguity | jpmoresmau | 2015-01-22 | 1 | -1/+1 |
* | Revert "Merge branch 'reverts'" | Mateusz Kowalczyk | 2014-12-12 | 1 | -1/+1 |
* | Revert "Disambiguate ‘die’ in test runners." | Mateusz Kowalczyk | 2014-08-14 | 1 | -1/+1 |
* | Disambiguate ‘die’ in test runners. | Mateusz Kowalczyk | 2014-05-03 | 1 | -1/+1 |
* | LaTeX tests setup | Mateusz Kowalczyk | 2013-08-27 | 6 | -0/+298 |