doc-src/LaTeXsugar/IsaMakefile
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