doc-src/LaTeXsugar/Sugar/Sugar.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-09-02 wenzelm 2010-09-02 turned show_question_marks into proper configuration option; show_question_marks only affects regular type/term pretty printing, not raw Term.string_of_vname; tuned;
2010-08-27 wenzelm 2010-08-27 expanded some aliases from structure Unsynchronized;
2010-04-14 krauss 2010-04-14 advertise [rename_abs] attribute in LaTeXsugar -- wish I had known about this earier.
2010-01-13 haftmann 2010-01-13 import of antiquote_setup not necessary
2010-01-12 wenzelm 2010-01-12 recovered subscript (cf. ded5b770ec1c);
2010-01-12 haftmann 2010-01-12 formal antiquotations for ML snippets; no "open" unsynchronized references
2009-10-29 nipkow 2009-10-29 small fixes
2009-10-09 haftmann 2009-10-09 term styles also cover antiquotations term_type and typeof
2009-10-08 haftmann 2009-10-08 new generalized concept for term styles
2009-10-01 wenzelm 2009-10-01 explicitly Unsynchronized;
2009-03-13 nipkow 2009-03-13 hiding numeric coercions in LaTeX
2008-07-28 nipkow 2008-07-28 *** empty log message ***
2008-06-08 wenzelm 2008-06-08 minor typos;
2007-08-31 nipkow 2007-08-31 explained \isatstyle(minor)
2007-08-31 nipkow 2007-08-31 added short_names explanation
2007-05-06 nipkow 2007-05-06 added test about "set" supression
2007-02-16 schirmer 2007-02-16 added example for print-mode Axiom
2006-11-27 webertj 2006-11-27 typo fixed
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2005-08-19 nipkow 2005-08-19 *** empty log message ***
2005-08-19 nipkow 2005-08-19 ML_idf -> ML
2005-08-08 haftmann 2005-08-08 added hint for position of aqu options in connection with styles
2005-06-15 nipkow 2005-06-15 documented DUMMY
2005-06-01 nipkow 2005-06-01 tuned
2005-06-01 haftmann 2005-06-01 renamed premise* to prem
2005-06-01 haftmann 2005-06-01 some refinements
2005-06-01 haftmann 2005-06-01 concl antiqutations
2005-05-31 nipkow 2005-05-31 fixed sectioning
2005-05-31 nipkow 2005-05-31 \nexists und premsise1 .. 9
2005-05-25 kleing 2005-05-25 tuned thm_style section
2005-05-25 nipkow 2005-05-25 added ? explanations
2005-05-24 haftmann 2005-05-24 ML_idf antiquotation
2005-05-23 haftmann 2005-05-23 some adaptions
2005-05-17 wenzelm 2005-05-17 renamed show_var_qmarks to show_question_marks;
2005-05-14 haftmann 2005-05-14 added Proof.context to antiquotation
2005-05-12 nipkow 2005-05-12 fixed a few things and added Haftmann as author
2005-05-03 haftmann 2005-05-03 Added short description of thm_style and term_style antiquotation
2005-04-10 nipkow 2005-04-10 section on qmark
2005-04-07 wenzelm 2005-04-07 added term_8;
2005-02-03 kleing 2005-02-03 Document now applies to devel version (and Isabelle 2005)
2005-01-26 nipkow 2005-01-26 *** empty log message ***
2005-01-06 kleing 2005-01-06 suggestions by Jeremy Siek
2004-12-08 kleing 2004-12-08 improvements by Larry and Micheal Wahler
2004-12-07 kleing 2004-12-07 link to tar.gz
2004-12-06 kleing 2004-12-06 fixed typos
2004-12-03 kleing 2004-12-03 tuned
2004-12-03 kleing 2004-12-03 fixed typo
2004-12-03 kleing 2004-12-03 more sugar
2004-11-29 nipkow 2004-11-29 *** empty log message ***
2004-11-29 nipkow 2004-11-29 New