src/Pure/Isar/outer_syntax.ML
2002-02-25 wenzelm 2002-02-25 added check_text;
2002-02-12 wenzelm 2002-02-12 got rid of explicit marginal comments (now stripped earlier from input);
2000-12-29 wenzelm 2000-12-29 recover: ignore result;
2000-08-14 wenzelm 2000-08-14 added thy_script kind;
2000-08-08 wenzelm 2000-08-08 prf_heading kind;
2000-07-01 wenzelm 2000-07-01 removed help; added print_commands;
2000-06-30 wenzelm 2000-06-30 help_antiquotations;
2000-06-25 wenzelm 2000-06-25 moved header stuff to thy_header.ML; moved theory presentation to isar_output.ML; major cleanup;
2000-06-08 wenzelm 2000-06-08 prf_open/close;
2000-06-04 wenzelm 2000-06-04 do not setmp Library.timing;
2000-06-04 wenzelm 2000-06-04 improved terminator msg;
2000-05-30 wenzelm 2000-05-30 global timing flag;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-17 wenzelm 2000-04-17 Pretty.chunks;
2000-04-03 wenzelm 2000-04-03 support markup environments;
2000-04-01 wenzelm 2000-04-01 presentation ignore stuff: swallow newline;
2000-03-26 wenzelm 2000-03-26 ignore_stuff; P.!!!!;
2000-02-08 wenzelm 2000-02-08 added K.qed_global;
2000-02-04 wenzelm 2000-02-04 Present.old_symbol_source;
1999-12-22 wenzelm 1999-12-22 fixed error msg;
1999-10-26 wenzelm 1999-10-26 improved ml handling;
1999-10-21 wenzelm 1999-10-21 markup: keep indentation;
1999-10-08 wenzelm 1999-10-08 old_header: proper error message;
1999-10-07 wenzelm 1999-10-07 verbatim markup tokens;
1999-10-07 wenzelm 1999-10-07 Present.token_source after load (better errors!?);
1999-10-07 wenzelm 1999-10-07 present source *before* theory load;
1999-10-06 wenzelm 1999-10-06 improved present_token;
1999-10-06 wenzelm 1999-10-06 added markup_command;
1999-10-05 wenzelm 1999-10-05 simplified; header command;
1999-10-05 wenzelm 1999-10-05 present token source;
1999-10-03 wenzelm 1999-10-03 export token_source; improved Present.theory_source;
1999-10-01 wenzelm 1999-10-01 added prf_asm_goal;
1999-09-26 wenzelm 1999-09-26 help: unknown theory context;
1999-09-25 wenzelm 1999-09-25 tuned;
1999-08-26 wenzelm 1999-08-26 print_help;
1999-08-24 wenzelm 1999-08-24 isar: no_pos flag;
1999-08-17 wenzelm 1999-08-17 ThyInfo.may_load_file;
1999-08-16 wenzelm 1999-08-16 removed warn_theory_style;
1999-08-06 wenzelm 1999-08-06 simplified ML handling;
1999-07-27 wenzelm 1999-07-27 added thy_switch kind;
1999-07-22 wenzelm 1999-07-22 Toplevel.excursion_error;
1999-07-16 wenzelm 1999-07-16 separate command tokens;
1999-07-01 wenzelm 1999-07-01 added prf_asm;
1999-06-30 wenzelm 1999-06-30 added sync;
1999-05-26 wenzelm 1999-05-26 qed_block keywords;
1999-05-24 wenzelm 1999-05-24 added keyword classification;
1999-05-21 wenzelm 1999-05-21 tuned;
1999-05-12 wenzelm 1999-05-12 rearranged some modules;
1999-03-17 wenzelm 1999-03-17 added (improper_)command;
1999-03-09 wenzelm 1999-03-09 Present.theory_source;
1999-02-05 wenzelm 1999-02-05 more robust handling of theory context; header-only theory files;
1999-02-04 wenzelm 1999-02-04 leave theory context after load_thy;
1999-02-03 wenzelm 1999-02-03 made SML/NJ happy;
1999-02-03 wenzelm 1999-02-03 removed load; detect old vs. new header; provide deps_thy, load_thy primitives for ThyLoad;
1999-01-12 wenzelm 1999-01-12 tuned msg;
1999-01-12 wenzelm 1999-01-12 tuned msg;
1998-11-29 wenzelm 1998-11-29 tuned welcome msg;
1998-11-24 wenzelm 1998-11-24 added commands;
1998-11-18 wenzelm 1998-11-18 load;
1998-11-16 wenzelm 1998-11-16 tuned names;