aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.dcl
AgeCommit message (Collapse)AuthorFilesLines
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-2/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-04labels global function names without ";n" extensionclean1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-15bug fix (unboxed arrrays of records)ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@89 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-09strictness annoation for fe_componentsronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@84 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-24unified main and frontendronny1-0/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@59 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d