src/Pure/Isar/isar_syn.ML
1999-09-25 ago defs: name mandatory;
1999-09-03 ago added welcome;
1999-09-01 ago replaced IsarCmd.kill_theory by Toplevel.kill;
1999-08-26 ago improved back, help;
1999-08-20 ago print_context;
1999-08-18 ago assume/presume: and_list1;
1999-08-16 ago disable_pr, enable_pr;
1999-08-09 ago pr / no_pr: maintain Toplevel.quiet;
1999-08-03 ago tuned;
1999-07-30 ago oracle: '=';
1999-07-28 ago added pretty_setmargin;
1999-07-27 ago removed update_context;
1999-07-16 ago removed break;
1999-07-15 ago improved print_thms;
1999-07-14 ago more marg_comments;
1999-07-12 ago def: ==;
1999-07-09 ago added 'def';
1999-07-08 ago propp: 'concl' patterns;
1999-07-06 ago removed proof history nesting commands (not useful);
1999-07-03 ago fixed 'txt';
1999-07-02 ago skip_proof feature 'sorry' (for quick_and_dirty mode only);
1999-07-02 ago added 'txt';
1999-07-01 ago 'with' as == 'from' as facts;
1999-07-01 ago fix, assume, presume: prf_asm;
1999-06-28 ago added presume command;
1999-06-04 ago added 'also', 'finally' commands;
1999-06-01 ago 'kill' made improper;
1999-06-01 ago 'note': Toplevel.print;
1999-05-27 ago improved undo / kill operations;
1999-05-26 ago cannot_undo;
1999-05-25 ago renamed Comment.empty to Comment.none;
1999-05-24 ago outer syntax keyword classification;
1999-05-21 ago added use_thy_only;
1999-05-21 ago renamed 'begin' / 'end' to '{{' / '}}';
1999-04-30 ago comment sections;
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.