aboutsummaryrefslogtreecommitdiff
path: root/frontend/scanner.icl
AgeCommit message (Expand)AuthorFilesLines
2000-08-29adjusted treatment of lazy and strict array functionssjakie1-2/+3
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+34
2000-06-20reduce memory allocationclean1-21/+73
2000-06-06see previous revisionmartinw1-3/+1
2000-06-06added simple hacky preprocessor facility. The following sourcemartinw1-11/+48
2000-05-31setting defaultPrio to 9 according to bug report from Ronnymartinw1-1/+1
2000-03-09optimized by Johnpieter1-239/+552
2000-02-22Bug fixes escaped characters in character and string denotationsronny1-5/+32
2000-01-18bugfix: TryScanComment did not work when a single slash was followed by a new...martinw1-1/+8
1999-12-22\" as escape charpieter1-1/+1
1999-11-16allow operator names like .*pieter1-5/+7
1999-11-15bug fix: instance of < for Priority removed,sjakie1-0/+18
1999-10-25end of comment repaired to allow **/pieter1-0/+1
1999-10-20ExclamationToken is again a reserved sybol in every contextpieter1-1/+1
1999-10-13cases in lets fixedpieter1-2/+3
1999-10-07offside voor casespieter1-9/+9
1999-10-05Initial importronny1-0/+1518
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:16:02 +0000