src/Pure/Isar/isar_cmd.ML
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.