doc-src/TutorialI/Makefile
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2009-06-17 haftmann 2009-06-17 more precise dependencies
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;
2007-07-23 berghofe 2007-07-23 Replaced "hand-made" LaTeX code in Protocol/protocol.tex by generated files in Protocol/document.
2007-07-19 berghofe 2007-07-19 Replaced "hand-made" files by generated files in Inductive/document.
2002-01-08 wenzelm 2002-01-08 dependencies for "typedef" image;
2002-01-08 wenzelm 2002-01-08 improved arrangement of "typedef" images;
2002-01-08 wenzelm 2002-01-08 tuned;
2002-01-07 wenzelm 2002-01-07 tuned deps;
2002-01-05 wenzelm 2002-01-05 tuned;
2002-01-04 wenzelm 2002-01-04 link Types/typedef images;
2001-12-21 wenzelm 2001-12-21 removed Types/records.tex;
2001-10-01 wenzelm 2001-10-01 initial setup for chapter on document preparation;
2001-07-20 wenzelm 2001-07-20 SEDINDEX = ./isa-index;
2001-07-17 paulson 2001-07-17 tidying the index
2001-07-09 paulson 2001-07-09 isa-index replaces ../sedindex: knows about \\isa
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-09 wenzelm 2000-05-09 use proper version of pdfsetup.sty;
2000-05-08 wenzelm 2000-05-08 improved indexing;
2000-04-20 nipkow 2000-04-20 *** empty log message ***
2000-04-19 nipkow 2000-04-19 I wonder if that's all?