aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.dcl
AgeCommit message (Expand)AuthorFilesLines
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-2/+2
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-2/+9
2000-07-04labels global function names without ";n" extensionclean1-0/+1
2000-04-26changes to make compiler compatible with itselfmartinw1-1/+1
2000-02-15bug fix (unboxed arrrays of records)ronny1-1/+1
2000-02-09strictness annoation for fe_componentsronny1-1/+1
1999-11-24unified main and frontendronny1-0/+18