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