aboutsummaryrefslogtreecommitdiff
path: root/frontend/scanner.dcl
AgeCommit message (Expand)AuthorFilesLines
2001-03-13Generics are added, but are disabled.alimarin1-1/+5
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+6
2000-06-20reduce memory allocationclean1-5/+0
2000-03-09optimized by Johnpieter1-7/+4
1999-11-15bug fix: instance of < for Priority removed,sjakie1-1/+9
1999-10-05Initial importronny1-0/+155