src/Pure/Isar/outer_syntax.ML
1999-10-07 ago Present.token_source after load (better errors!?);
1999-10-07 ago present source *before* theory load;
1999-10-06 ago improved present_token;
1999-10-06 ago added markup_command;
1999-10-05 ago simplified;
1999-10-05 ago present token source;
1999-10-03 ago export token_source;
1999-10-01 ago added prf_asm_goal;
1999-09-26 ago help: unknown theory context;
1999-09-25 ago tuned;
1999-08-26 ago print_help;
1999-08-24 ago isar: no_pos flag;
1999-08-17 ago ThyInfo.may_load_file;
1999-08-16 ago removed warn_theory_style;
1999-08-06 ago simplified ML handling;
1999-07-27 ago added thy_switch kind;
1999-07-22 ago Toplevel.excursion_error;
1999-07-16 ago separate command tokens;
1999-07-01 ago added prf_asm;
1999-06-30 ago added sync;
1999-05-26 ago qed_block keywords;
1999-05-24 ago added keyword classification;
1999-05-21 ago tuned;
1999-05-12 ago rearranged some modules;
1999-03-17 ago added (improper_)command;
1999-03-09 ago Present.theory_source;
1999-02-05 ago more robust handling of theory context;
1999-02-04 ago leave theory context after load_thy;
1999-02-03 ago made SML/NJ happy;
1999-02-03 ago removed load;
1999-01-12 ago tuned msg;
1999-01-12 ago tuned msg;
1998-11-29 ago tuned welcome msg;
1998-11-24 ago added commands;
1998-11-18 ago load;
1998-11-16 ago tuned names;
1998-11-09 ago The global Isabelle/Isar outer syntax.