doc-src/LaTeXsugar/Sugar/Sugar.thy
2006-01-19 ago setup: theory -> theory;
2005-08-19 ago *** empty log message ***
2005-08-19 ago ML_idf -> ML
2005-08-08 ago added hint for position of aqu options in connection with styles
2005-06-15 ago documented DUMMY
2005-06-01 ago tuned
2005-06-01 ago renamed premise* to prem
2005-06-01 ago some refinements
2005-06-01 ago concl antiqutations
2005-05-31 ago fixed sectioning
2005-05-31 ago \nexists und premsise1 .. 9
2005-05-25 ago tuned thm_style section
2005-05-25 ago added ? explanations
2005-05-24 ago ML_idf antiquotation
2005-05-23 ago some adaptions
2005-05-17 ago renamed show_var_qmarks to show_question_marks;
2005-05-14 ago added Proof.context to antiquotation
2005-05-12 ago fixed a few things and added Haftmann as author
2005-05-03 ago Added short description of thm_style and term_style antiquotation
2005-04-10 ago section on qmark
2005-04-07 ago added term_8;
2005-02-03 ago Document now applies to devel version (and Isabelle 2005)
2005-01-26 ago *** empty log message ***
2005-01-06 ago suggestions by Jeremy Siek
2004-12-08 ago improvements by Larry and Micheal Wahler
2004-12-07 ago link to tar.gz
2004-12-06 ago fixed typos
2004-12-03 ago tuned
2004-12-03 ago fixed typo
2004-12-03 ago more sugar
2004-11-29 ago *** empty log message ***
2004-11-29 ago New