src/Doc/System/Scala.thy
Fri, 12 Aug 2016 17:53:55 +0200 wenzelm more symbols;
Thu, 25 Feb 2016 19:08:48 +0100 wenzelm isabelle_scala_script is usually found by PATH;
Fri, 13 Nov 2015 14:49:30 +0100 wenzelm more uniform jEdit properties;
Wed, 04 Nov 2015 20:18:46 +0100 wenzelm tuned whitespace;
Thu, 22 Oct 2015 21:16:49 +0200 wenzelm more control symbols;
Mon, 12 Oct 2015 18:18:48 +0200 wenzelm @{verbatim [display]} supersedes old alltt/ttbox;
Tue, 07 Oct 2014 21:29:59 +0200 wenzelm more cartouches;
Sun, 05 Oct 2014 22:46:13 +0200 wenzelm prefer @{cite} antiquotation;
Mon, 04 Aug 2014 17:53:17 +0200 wenzelm tuned;
Mon, 09 Jun 2014 20:41:00 +0200 wenzelm more on command-line invocation -- moved material from system manual;
Sun, 29 Sep 2013 12:49:47 +0200 wenzelm tuned;
Thu, 12 Sep 2013 13:23:54 +0200 wenzelm 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);
Wed, 22 May 2013 18:10:54 +0200 wenzelm added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip