src/Doc/prepare_document
2016-03-10 wenzelm 2016-03-10 prefer plain "isabelle" from PATH within Isabelle settings environment;
2013-09-10 wenzelm 2013-09-10 more portable hash-bang;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;