src/Doc/System/Scala.thy
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;