src/Pure/Isar/isar_syn.ML
1999-09-26 wenzelm 1999-09-26 added 'thms_containing', 'ML_setup';
1999-09-25 wenzelm 1999-09-25 defs: name mandatory;
1999-09-03 wenzelm 1999-09-03 added welcome;
1999-09-01 wenzelm 1999-09-01 replaced IsarCmd.kill_theory by Toplevel.kill; fix: common constraints; removed "*" keyword;
1999-08-26 wenzelm 1999-08-26 improved back, help;
1999-08-20 wenzelm 1999-08-20 print_context;
1999-08-18 wenzelm 1999-08-18 assume/presume: and_list1;
1999-08-16 wenzelm 1999-08-16 disable_pr, enable_pr;
1999-08-09 wenzelm 1999-08-09 pr / no_pr: maintain Toplevel.quiet;
1999-08-03 wenzelm 1999-08-03 tuned; added sect, subsect, subsubsect;
1999-07-30 wenzelm 1999-07-30 oracle: '=';
1999-07-28 wenzelm 1999-07-28 added pretty_setmargin;
1999-07-27 wenzelm 1999-07-27 removed update_context; removed restart; added init_toplevel, touch_all_thys, touch_thy, remove_thy, update_thy_only;
1999-07-16 wenzelm 1999-07-16 removed break;
1999-07-15 wenzelm 1999-07-15 improved print_thms;
1999-07-14 wenzelm 1999-07-14 more marg_comments;
1999-07-12 wenzelm 1999-07-12 def: ==;
1999-07-09 wenzelm 1999-07-09 added 'def'; added "!!" keyword; removed 'qed_with';
1999-07-08 wenzelm 1999-07-08 propp: 'concl' patterns; added 'thence';
1999-07-06 wenzelm 1999-07-06 removed proof history nesting commands (not useful);
1999-07-03 wenzelm 1999-07-03 fixed 'txt';
1999-07-02 wenzelm 1999-07-02 skip_proof feature 'sorry' (for quick_and_dirty mode only);
1999-07-02 wenzelm 1999-07-02 added 'txt';
1999-07-01 wenzelm 1999-07-01 'with' as == 'from' as facts; also, finally: opt_rules;
1999-07-01 wenzelm 1999-07-01 fix, assume, presume: prf_asm;
1999-06-28 wenzelm 1999-06-28 added presume command;
1999-06-04 wenzelm 1999-06-04 added 'also', 'finally' commands;
1999-06-01 wenzelm 1999-06-01 'kill' made improper;
1999-06-01 wenzelm 1999-06-01 'note': Toplevel.print;
1999-05-27 wenzelm 1999-05-27 improved undo / kill operations;
1999-05-26 wenzelm 1999-05-26 cannot_undo; qed_block keywords;
1999-05-25 wenzelm 1999-05-25 renamed Comment.empty to Comment.none; added P.marg_commend almost everywhere;
1999-05-24 wenzelm 1999-05-24 outer syntax keyword classification; no open OuterParse;
1999-05-21 wenzelm 1999-05-21 added use_thy_only;
1999-05-21 wenzelm 1999-05-21 renamed 'begin' / 'end' to '{{' / '}}'; added 'kill'; rename 'type' to 'typ';
1999-04-30 wenzelm 1999-04-30 comment sections; made "%" a keyword;
1999-04-27 wenzelm 1999-04-27 no Toplevel.print for by, ., ..;
1999-04-27 wenzelm 1999-04-27 "!" made keyword;
1999-04-23 wenzelm 1999-04-23 added thus, hence;
1999-03-19 wenzelm 1999-03-19 common qed and end of proofs;
1999-03-17 wenzelm 1999-03-17 OuterSyntax.(improper_)command; moved axclass / instance to Pure/axclass.ML; moved spec(') to outer_parse.ML;
1999-03-11 wenzelm 1999-03-11 added 'title'; tuned names, comments;
1999-02-08 wenzelm 1999-02-08 "files" keyword!
1999-02-05 wenzelm 1999-02-05 improved 'theory'; context / update_context autoload;
1999-02-03 wenzelm 1999-02-03 oops, update_thy;
1999-02-03 wenzelm 1999-02-03 removed load; added update_thy;
1999-01-12 wenzelm 1999-01-12 'same' method, 'immediate' proof;
1998-12-03 wenzelm 1998-12-03 and_list;
1998-11-29 wenzelm 1998-11-29 added restart;
1998-11-25 wenzelm 1998-11-25 chapter etc. headings; use, use_thy, cd: name;
1998-11-21 wenzelm 1998-11-21 added undos, redos;
1998-11-19 wenzelm 1998-11-19 let: 'as' patterns; statements: propp ('is' patterns);
1998-11-18 wenzelm 1998-11-18 'prop', 'term', 'typ';
1998-11-17 wenzelm 1998-11-17 added 'theorems', 'lemmas', 'note'; tuned 'thm';
1998-11-16 wenzelm 1998-11-16 thm, thms;
1998-11-16 wenzelm 1998-11-16 add print_theorems; print_thms: handle attributes; renamed tac / etac to refine / then_refine; tuned comments; load arg: name;
1998-11-09 wenzelm 1998-11-09 Pure outer syntax.