src/Pure/Syntax/simple_syntax.ML
2009-11-02 wenzelm 2009-11-02 modernized structure Simple_Syntax;
2009-03-18 wenzelm 2009-03-18 de-camelized Symbol_Pos;
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-11-20 wenzelm 2008-11-20 Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-08-15 wenzelm 2008-08-15 filter Lexicon.is_proper -- Lexicon.tokenize now includes improper tokens;
2008-08-09 wenzelm 2008-08-09 datatype token: maintain range, tuned representation; moved eof, stopper to lexicon.ML;
2008-08-07 wenzelm 2008-08-07 SymbolPos.explode;
2008-08-04 wenzelm 2008-08-04 abstract type Scan.stopper;
2008-01-28 wenzelm 2008-01-28 added ::: / @@@ scanner combinators;
2007-08-30 wenzelm 2007-08-30 tuned;
2007-08-14 wenzelm 2007-08-14 tuned;
2007-08-13 wenzelm 2007-08-13 Lexicon.tokenize: do not appen EndToken yet; term: include var, &&;
2007-08-13 wenzelm 2007-08-13 tuned comments;
2007-08-13 wenzelm 2007-08-13 Simple syntax for types and terms --- for bootstrapping Pure.