src/Doc/System/Misc.thy
2013-05-17 wenzelm 2013-05-17 discontinued obsolete isabelle usedir, mkdir, make;
2012-12-31 wenzelm 2012-12-31 simplified quick start via "isabelle components -I";
2012-11-20 wenzelm 2012-11-20 simplified command line of "isabelle install";
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;