src/Doc/Intro/document/build
2016-03-10 wenzelm 2016-03-10 prefer plain "isabelle" from PATH within Isabelle settings environment;
2014-04-11 wenzelm 2014-04-11 more formal dependencies via 'document_files';
2013-09-10 wenzelm 2013-09-10 more portable hash-bang;
2012-12-07 wenzelm 2012-12-07 eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005); \usepackage{proof} only where required;
2012-09-03 wenzelm 2012-09-03 "isabelle logo" produces EPS and PDF format simultaneously; more robust invocation of epstopdf: avoid filter mode;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;