src/Pure/Isar/isar_cmd.ML
2000-03-17 ago kill: include kill_proof;
2000-03-15 ago pr: modes, optional limit;
2000-03-14 ago pr, disable_pr, enable_pr;
2000-03-08 ago added print_cases;
2000-03-06 ago moved use_mltext, use_mltext_theory, use_let, use_setup to context.ML;
1999-10-26 ago added kill_proof_notify;
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-07 ago cd: quiet;
1999-10-05 ago replaced clear_undo by clear_undos;
1999-09-26 ago added print_thms_containing;
1999-09-07 ago read_typ/term: context_of;
1999-09-03 ago added welcome;
1999-09-01 ago removed kill_theory;
1999-08-20 ago print_context;
1999-07-28 ago added pretty_setmargin;
1999-07-27 ago removed restart;
1999-07-16 ago removed break;
1999-07-15 ago improved print_thms;
1999-05-27 ago improved undo / kill operations;
1999-05-26 ago cannot_undo;
1999-05-21 ago added use_thy_only;
1999-05-21 ago history commands;
1999-05-17 ago node_cases renamed to node_case;
1999-05-11 ago fixed msg;
1999-02-08 ago use: provide context;
1999-02-05 ago use_thy, update_thy: Context.save;
1999-02-04 ago File.pwd, File.cd;
1999-02-03 ago removed load;
1999-01-12 ago eliminated tthm type and Attribute structure;
1998-11-29 ago added restart;
1998-11-17 ago break: exhibit state;
1998-11-16 ago added print_thm;
1998-11-16 ago add print_theorems;
1998-11-09 ago Non-logical toplevel commands.