| Fri, 31 Oct 2014 16:03:45 +0100 | wenzelm | discontinued Isar TTY loop; | file | diff | annotate |
| Fri, 31 Oct 2014 11:18:17 +0100 | wenzelm | discontinued Proof General; | file | diff | annotate |
| Sun, 20 Jul 2014 17:54:01 +0200 | wenzelm | provide explicit options file -- avoid multiple Scala/JVM invocation; | file | diff | annotate |
| Tue, 22 Apr 2014 11:53:05 +0200 | wenzelm | tuned -- avoid warning about catch-all handler; | 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 | base |