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