aboutsummaryrefslogtreecommitdiff
path: root/frontend/scanner.dcl
AgeCommit message (Collapse)AuthorFilesLines
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20reduce memory allocationclean1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@175 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-09optimized by Johnpieter1-7/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@109 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-15bug fix: instance of < for Priority removed,sjakie1-1/+9
function determinePriority added git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@49 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-05Initial importronny1-0/+155
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d