src/Doc/System/Basics.thy
2013-05-11 wenzelm 2013-05-11 removed some obsolete PGIP/PGEclipse material;
2013-03-14 wenzelm 2013-03-14 document ISABELLE_POLYML;
2013-01-26 wenzelm 2013-01-26 updated explanations of document preparation;
2012-11-25 wenzelm 2012-11-25 eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
2012-11-24 wenzelm 2012-11-24 added ISABELLE_PLATFORM_FAMILY;
2012-09-05 wenzelm 2012-09-05 eliminated potentially confusing terminology of Scala "layer";
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;