src/Pure/Isar/isar_output.ML
2005-04-07 ago Scan.peek;
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2005-02-11 ago Optimized present_tokens to produce fewer newlines when hiding proofs.
2005-01-27 ago - Proofs are now hidden by default
2005-01-11 ago Tuned.
2005-01-11 ago Implemented hiding of proofs and other commands.
2004-12-01 ago added antiquotations @{lhs thm} and @{rhs thm}
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-09 ago added option 'locale=NAME';
2004-05-29 ago Library.read_int; Output.output;
2004-05-21 ago Args.local_typ_raw;
2004-05-06 ago show_structs option;
2004-05-01 ago tuned;
2004-01-08 ago separate thm lists in latex output by \isasep
2003-04-28 ago Added "break" flag to allow line breaks within \isa{...}
2003-01-08 ago corrected swallowing of newlines after end-of-ignore: rollback
2003-01-07 ago corrected swallowing of newlines after end-of-ignore (improved)
2002-12-06 ago corrected swallowing of newlines after end-of-ignore
2002-02-25 ago export eval_antiquote;
2002-02-12 ago ANTIQUOTE_FAIL;
2002-01-17 ago Thm.prop_of;
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.