src/Doc/System/Presentation.thy
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-04-06 wenzelm 2014-04-06 renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
2014-01-06 wenzelm 2014-01-06 more formal ISABELLE_BROWSER_INFO;
2013-07-27 wenzelm 2013-07-27 discontinued historic document formats;
2013-07-27 wenzelm 2013-07-27 tuned;
2013-03-13 wenzelm 2013-03-13 sessions may be organized via 'chapter' in ROOT;
2013-01-26 wenzelm 2013-01-26 tuned;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;