src/Pure/Isar/isar_output.ML
2006-10-11 wenzelm 2006-10-11 renamed body_context_node to presentation_context;
2006-07-27 wenzelm 2006-07-27 replaced ProofContext.extern_skolem by slightly more simplistic ProofContext.revert_skolems;
2006-05-05 wenzelm 2006-05-05 more robust pretty_term_typ, using well-typed parse tree representation;
2006-02-15 wenzelm 2006-02-15 evaluate antiquotes depending on Toplevel.node option;
2006-02-10 wenzelm 2006-02-10 Args/Attrib syntax: Context.generic;
2006-01-27 wenzelm 2006-01-27 Locale.init;
2006-01-14 wenzelm 2006-01-14 sane ERROR handling;
2005-10-15 wenzelm 2005-10-15 added antiquotations ML_type, ML_struct;
2005-10-04 wenzelm 2005-10-04 minor tweaks for Poplog/ML;
2005-09-21 wenzelm 2005-09-21 the_default, the_list;
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-05 wenzelm 2005-09-05 markup commands: optional locale specification;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-29 wenzelm 2005-08-29 clarify type tok, do not emit markup flag for suppressed tokens;
2005-08-26 berghofe 2005-08-26 Fixed bug.
2005-08-17 wenzelm 2005-08-17 made SML/XL happy;
2005-08-16 wenzelm 2005-08-16 reimplemented theory presentation, with support for tagged command regions; tuned antiquotation output;
2005-08-08 haftmann 2005-08-08 clarified ML_idf
2005-07-19 wenzelm 2005-07-19 Inttab.defined;
2005-06-09 wenzelm 2005-06-09 Args.local_typ_abbrev;
2005-06-02 wenzelm 2005-06-02 Output.no_warnings;
2005-06-01 haftmann 2005-06-01 concl antiqutations
2005-05-31 wenzelm 2005-05-31 added short_names, unique_names options;
2005-05-24 haftmann 2005-05-24 ML_idf antiquotation
2005-05-18 wenzelm 2005-05-18 tuned;
2005-05-17 wenzelm 2005-05-17 renamed show_var_qmarks to show_question_marks; renamed TermStyle.lookup_style to TermStyle.the_style;
2005-05-14 haftmann 2005-05-14 added Proof.context to antiquotation
2005-05-03 haftmann 2005-05-03 final implementation of antiquotations styles
2005-04-29 haftmann 2005-04-29 added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
2005-04-07 wenzelm 2005-04-07 Scan.peek;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-02-11 berghofe 2005-02-11 Optimized present_tokens to produce fewer newlines when hiding proofs.
2005-01-27 berghofe 2005-01-27 - Proofs are now hidden by default - Added show_var_qmarks flag
2005-01-11 berghofe 2005-01-11 Tuned.
2005-01-11 berghofe 2005-01-11 Implemented hiding of proofs and other commands.
2004-12-01 kleing 2004-12-01 added antiquotations @{lhs thm} and @{rhs thm}
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-09 wenzelm 2004-06-09 added option 'locale=NAME';
2004-05-29 wenzelm 2004-05-29 Library.read_int; Output.output;
2004-05-21 wenzelm 2004-05-21 Args.local_typ_raw;
2004-05-06 wenzelm 2004-05-06 show_structs option;
2004-05-01 wenzelm 2004-05-01 tuned;
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;