src/Doc/System/Scala.thy
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-02-25 wenzelm 2016-02-25 isabelle_scala_script is usually found by PATH;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-10-22 wenzelm 2015-10-22 more control symbols; tuned;
2015-10-12 wenzelm 2015-10-12 @{verbatim [display]} supersedes old alltt/ttbox;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-08-04 wenzelm 2014-08-04 tuned;
2014-06-09 wenzelm 2014-06-09 more on command-line invocation -- moved material from system manual;
2013-09-29 wenzelm 2013-09-29 tuned;
2013-09-12 wenzelm 2013-09-12 maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
2013-05-22 wenzelm 2013-05-22 added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;