src/Pure/Isar/outer_syntax.ML
1999-01-12 wenzelm 1999-01-12 tuned msg;
1999-01-12 wenzelm 1999-01-12 tuned msg;
1998-11-29 wenzelm 1998-11-29 tuned welcome msg;
1998-11-24 wenzelm 1998-11-24 added commands;
1998-11-18 wenzelm 1998-11-18 load;
1998-11-16 wenzelm 1998-11-16 tuned names;
1998-11-09 wenzelm 1998-11-09 The global Isabelle/Isar outer syntax.