| Sun, 02 Oct 2016 17:05:48 +0200 | wenzelm | added isabelle_java cold-start executable; | file | diff | annotate |
| Thu, 10 Mar 2016 12:11:50 +0100 | wenzelm | isabelle_process is superseded by "isabelle process" tool; | file | diff | annotate |
| Sun, 06 Apr 2014 16:59:41 +0200 | wenzelm | renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups; | file | diff | annotate |
| 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; | file | diff | annotate |
| Tue, 20 Nov 2012 15:18:11 +0100 | wenzelm | simplified command line of "isabelle install"; | file | diff | annotate |
| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sun, 30 Nov 2008 14:03:45 +0100 | wenzelm | removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; | file | diff | annotate |