src/Pure/Syntax/simple_syntax.ML
2012-01-14 ago tuned;
2011-04-07 ago constant =?= no longer exists (cf. 8c09e1fa24a7);
2009-11-02 ago modernized structure Simple_Syntax;
2009-03-18 ago de-camelized Symbol_Pos;
2009-01-19 ago removed Ids;
2008-11-20 ago Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-08-15 ago filter Lexicon.is_proper -- Lexicon.tokenize now includes improper tokens;
2008-08-09 ago datatype token: maintain range, tuned representation;
2008-08-07 ago SymbolPos.explode;
2008-08-04 ago abstract type Scan.stopper;
2008-01-28 ago added ::: / @@@ scanner combinators;
2007-08-30 ago tuned;
2007-08-14 ago tuned;
2007-08-13 ago Lexicon.tokenize: do not appen EndToken yet;
2007-08-13 ago tuned comments;
2007-08-13 ago Simple syntax for types and terms --- for bootstrapping Pure.