src/Pure/Isar/outer_lex.ML
1999-09-04 ago removed text vars;
1999-07-16 ago separate command tokens;
1999-06-30 ago sync token;
1999-05-27 ago changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;
1998-11-16 ago replaced is_symid by is_sid;
1998-11-09 ago Outer lexical syntax for Isabelle/Isar.