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