src/Doc/System/Base.thy
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2014-03-12 wenzelm 2014-03-12 some document antiquotations for Isabelle/jEdit elements; modernized theory setup;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;