src/Doc/Intro/document/build
Fri, 11 Apr 2014 12:40:12 +0200 wenzelm more formal dependencies via 'document_files';
Tue, 10 Sep 2013 11:57:53 +0200 wenzelm more portable hash-bang;
Fri, 07 Dec 2012 18:05:24 +0100 wenzelm eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005);
Mon, 03 Sep 2012 11:09:25 +0200 wenzelm "isabelle logo" produces EPS and PDF format simultaneously;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip