summaryrefslogtreecommitdiff
path: root/test/files/run/t5271_2.check
Commit message (Expand)AuthorAgeFilesLines
* term and type reftrees are now reified uniformlyEugene Burmako2013-02-081-1/+1
* Normalized line endings.Paul Phillips2012-09-201-14/+14
* minor fixes to reificationEugene Burmako2012-04-231-0/+2
* Next generation of macrosEugene Burmako2012-04-121-12/+12
* New starr to support new fundamental laws of reality.Paul Phillips2012-03-141-1/+1
* Disables typechecking that precedes reflective compilationEugene Burmako2012-02-141-1/+12
* Preprocessing for reifeesEugene Burmako2012-02-141-0/+1