aboutsummaryrefslogtreecommitdiff
path: root/frontend/scanner.dcl
AgeCommit message (Expand)AuthorFilesLines
2017-03-18More logical file name passingCamil Staps1-1/+1
2013-04-08add generic function dependencies for generic function definitions,johnvg1-0/+1
2012-10-08search and open file before calling wantModulejohnvg1-1/+3
2012-09-21add hierarchical modulesjohnvg1-1/+2
2007-02-14implement qualified explicit importsjohnvg1-0/+1
2003-12-15remove VoidTypeTokenjohnvg1-1/+0
2003-12-15add foreign exportjohnvg1-2/+1
2003-12-01use same default fixity and priority (infixl 9) everywhereronny1-0/+1
2002-06-17removed ingnored !'sjohnvg1-2/+2
2002-06-03added constructor/type/field information to genericsalimarin1-0/+2
2002-03-25new implementation of genericsalimarin1-0/+1
2001-11-26assorted parse/scan bug fixesronny1-2/+2
2001-10-04Context -> ScanContextpieter1-3/+3
2001-10-01pass file modification times from icl module and dcl modules to backendronny1-1/+6
2001-09-12add <|- generator for overloaded listsjohnvg1-0/+1
2001-09-05fix parsing of [# with layout rulejohnvg1-0/+3
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 16:31:48 +0000