src/Doc/Intro/document/build
2016-03-10 wenzelm prefer plain "isabelle" from PATH within Isabelle settings environment;
2014-04-11 wenzelm more formal dependencies via 'document_files';
2013-09-10 wenzelm more portable hash-bang;
2012-12-07 wenzelm eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005);
2012-09-03 wenzelm "isabelle logo" produces EPS and PDF format simultaneously;
2012-08-28 wenzelm renamed doc-src to src/Doc;
less more (0) tip