src/Pure/Isar/isar_output.ML
2004-01-08 kleing 2004-01-08 separate thm lists in latex output by \isasep
2003-04-28 berghofe 2003-04-28 Added "break" flag to allow line breaks within \isa{...}
2003-01-08 oheimb 2003-01-08 corrected swallowing of newlines after end-of-ignore: rollback
2003-01-07 oheimb 2003-01-07 corrected swallowing of newlines after end-of-ignore (improved)
2002-12-06 oheimb 2002-12-06 corrected swallowing of newlines after end-of-ignore
2002-02-25 wenzelm 2002-02-25 export eval_antiquote;
2002-02-12 wenzelm 2002-02-12 ANTIQUOTE_FAIL;
2002-01-17 wenzelm 2002-01-17 Thm.prop_of;
2001-11-05 wenzelm 2001-11-05 pretty/print functions with context;
2001-10-21 wenzelm 2001-10-21 maintain Latex.flag_markup;
2001-10-10 berghofe 2001-10-10 Exported output_with.
2001-10-09 wenzelm 2001-10-09 added global modes ref;
2001-08-31 berghofe 2001-08-31 Added functions for printing primitive proof terms.
2001-04-07 wenzelm 2001-04-07 thm output: Attrib.local_thmss;
2001-01-31 wenzelm 2001-01-31 pretty_text: tweak_lines handles linebreaks gracefully;
2000-12-23 wenzelm 2000-12-23 antiq: preview errors;
2000-12-01 wenzelm 2000-12-01 append print_modes;
2000-10-30 wenzelm 2000-10-30 tuned goals output;
2000-10-30 nipkow 2000-10-30 Added antiquotation "subgoals".
2000-10-25 wenzelm 2000-10-25 antiquotation "goals": error message;
2000-10-24 wenzelm 2000-10-24 let commands access Toplevel.state; added command "goals" and option "goals_limit";
2000-09-05 wenzelm 2000-09-05 tuned output of isabelle env;
2000-09-04 wenzelm 2000-09-04 display: avoid empty lines;
2000-08-30 wenzelm 2000-08-30 added "source" option;
2000-08-29 wenzelm 2000-08-29 added "name" antiq and "indent" option;
2000-08-03 wenzelm 2000-08-03 typ_no_norm;
2000-07-01 wenzelm 2000-07-01 added options "eta_contract", "long_names"; tuned print_antiquotations; removed help_antiquotations; tuned;
2000-06-30 wenzelm 2000-06-30 help_antiquotations;
2000-06-25 wenzelm 2000-06-25 Isar theory output.