| 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 |