doc-src/LaTeXsugar/IsaMakefile
2009-10-01 wenzelm 2009-10-01 enable slow-motion mode to accomodate unsynchronized refs within theory sources;
2009-03-11 wenzelm 2009-03-11 delete unused generated files;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2005-08-18 wenzelm 2005-08-18 usedir: removed option -H;
2005-04-30 kleing 2005-04-30 use absolute path to find LaTeXSugar and OptionalSugar
2005-04-30 kleing 2005-04-30 move generated files to document/ to avoid CVS file overwrite in generated/ cleanup (no generated root.pdf, session_graph.pdf etc)
2005-02-03 kleing 2005-02-03 Document now applies to devel version (and Isabelle 2005)
2005-01-28 kleing 2005-01-28 moved sugar.sty to textinputs
2005-01-26 nipkow 2005-01-26 *** empty log message ***
2005-01-26 nipkow 2005-01-26 *** empty log message ***
2004-11-29 nipkow 2004-11-29 *** empty log message ***
2004-11-29 nipkow 2004-11-29 New