src/Pure/Isar/isar_syn.ML
1999-10-26 ago added kill_thy;
1999-10-21 ago added touch_child_thys;
1999-10-20 ago use_mltext: better control of verbosity;
1999-10-20 ago fixed update_thy_only;
1999-10-14 ago renamed verbatim/verb to text_raw/txt_raw;
1999-10-07 ago verbatim markup tokens;
1999-10-07 ago verbatim / verb markupup commands;
1999-10-06 ago OuterSyntax.markup_command;
1999-10-05 ago clear_undo replaced by clear_undos;
1999-10-01 ago added 'obtain' command;
1999-09-26 ago added 'thms_containing', 'ML_setup';
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;