src/Pure/Isar/outer_parse.ML
1999-09-04 ago removed text vars;
1999-09-01 ago any_props: improved error;
1999-08-25 ago fixed arity;
1999-08-03 ago improved interest;
1999-07-16 ago separate command tokens;
1999-07-12 ago term/prop: include number;
1999-07-09 ago added termp;
1999-07-08 ago propp: 'concl' patterns;
1999-06-30 ago added sync;
1999-05-25 ago renamed Comment.empty to Comment.none;
1999-04-30 ago method = meth3 (again);
1999-04-30 ago comment, interest;
1999-04-27 ago opt_thm_name: name optional;
1999-04-14 ago triple_swap;
1999-03-17 ago fixed thm_name again;
1999-03-17 ago added simple_arity, spec_name, spec_opt_name;
1999-03-11 ago tuned opt_mixfix failure;
1998-12-03 ago and_list;
1998-12-01 ago enum: !!! after seperator;
1998-11-25 ago comment parser;
1998-11-19 ago fixed method syntax;
1998-11-17 ago generalized (opt_)thm_name;
1998-11-16 ago removed args, args1, thm_xname;
1998-11-09 ago Generic parsers for Isabelle/Isar outer syntax.