src/Pure/Isar/isar_output.ML
2001-11-05 ago pretty/print functions with context;
2001-10-21 ago maintain Latex.flag_markup;
2001-10-10 ago Exported output_with.
2001-10-09 ago added global modes ref;
2001-08-31 ago Added functions for printing primitive proof terms.
2001-04-07 ago thm output: Attrib.local_thmss;
2001-01-31 ago pretty_text: tweak_lines handles linebreaks gracefully;
2000-12-23 ago antiq: preview errors;
2000-12-01 ago append print_modes;
2000-10-30 ago tuned goals output;
2000-10-30 ago Added antiquotation "subgoals".
2000-10-25 ago antiquotation "goals": error message;
2000-10-24 ago let commands access Toplevel.state;
2000-09-05 ago tuned output of isabelle env;
2000-09-04 ago display: avoid empty lines;
2000-08-30 ago added "source" option;
2000-08-29 ago added "name" antiq and "indent" option;
2000-08-03 ago typ_no_norm;
2000-07-01 ago added options "eta_contract", "long_names";
2000-06-30 ago help_antiquotations;
2000-06-25 ago Isar theory output.