src/Pure/Isar/isar_cmd.ML
1999-09-26 wenzelm 1999-09-26 added print_thms_containing; use_mltext: strictly diag;
1999-09-07 wenzelm 1999-09-07 read_typ/term: context_of;
1999-09-03 wenzelm 1999-09-03 added welcome;
1999-09-01 wenzelm 1999-09-01 removed kill_theory; print_thms: use Proof.pretty_thms;
1999-08-20 wenzelm 1999-08-20 print_context;
1999-07-28 wenzelm 1999-07-28 added pretty_setmargin;
1999-07-27 wenzelm 1999-07-27 removed restart; added 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-05-27 wenzelm 1999-05-27 improved undo / kill operations;
1999-05-26 wenzelm 1999-05-26 cannot_undo;
1999-05-21 wenzelm 1999-05-21 added use_thy_only;
1999-05-21 wenzelm 1999-05-21 history commands;
1999-05-17 wenzelm 1999-05-17 node_cases renamed to node_case;
1999-05-11 wenzelm 1999-05-11 fixed msg;
1999-02-08 wenzelm 1999-02-08 use: provide context;
1999-02-05 wenzelm 1999-02-05 use_thy, update_thy: Context.save;
1999-02-04 wenzelm 1999-02-04 File.pwd, File.cd;
1999-02-03 wenzelm 1999-02-03 removed load; proper use (ThyInfo.load_file); added use_thy, update_thy;
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-11-29 wenzelm 1998-11-29 added restart;
1998-11-17 wenzelm 1998-11-17 break: exhibit state; removed print_thm;
1998-11-16 wenzelm 1998-11-16 added print_thm;
1998-11-16 wenzelm 1998-11-16 add print_theorems; print_thms: handle attributes;
1998-11-09 wenzelm 1998-11-09 Non-logical toplevel commands.