aboutsummaryrefslogtreecommitdiff
path: root/frontend/scanner.dcl
AgeCommit message (Expand)AuthorFilesLines
2001-07-25bug fix parse_bug_forbidden_symbolsronny1-0/+3
2001-07-18assorted scanner/parser bug fixes by Pieter (tested by Ronny)ronny1-1/+3
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