doc-src/LaTeXsugar/Makefile
2011-05-02 wenzelm 2011-05-02 eliminated old CVS Ids;
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;
2005-06-15 nipkow 2005-06-15 documented DUMMY
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-04-14 kleing 2005-04-14 fix: added path to garbage
2005-04-14 kleing 2005-04-14 added Makefile and generated files to make document available for makedist