src/Pure/Isar/isar_syn.ML
1999-04-27 ago no Toplevel.print for by, ., ..;
1999-04-27 ago "!" made keyword;
1999-04-23 ago added thus, hence;
1999-03-19 ago common qed and end of proofs;
1999-03-17 ago OuterSyntax.(improper_)command;
1999-03-11 ago added 'title';
1999-02-08 ago "files" keyword!
1999-02-05 ago improved 'theory';
1999-02-03 ago oops, update_thy;
1999-02-03 ago removed load;
1999-01-12 ago 'same' method, 'immediate' proof;
1998-12-03 ago and_list;
1998-11-29 ago added restart;
1998-11-25 ago chapter etc. headings;
1998-11-21 ago added undos, redos;
1998-11-19 ago let: 'as' patterns;
1998-11-18 ago 'prop', 'term', 'typ';
1998-11-17 ago added 'theorems', 'lemmas', 'note';
1998-11-16 ago thm, thms;
1998-11-16 ago add print_theorems;
1998-11-09 ago Pure outer syntax.