| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
| Sat, 04 Oct 2008 16:19:00 +0200 | wenzelm | replaced ISABELLE by ISABELLE_PROCESS; | file | diff | annotate |
| Sat, 15 Dec 2007 00:52:17 +0100 | wenzelm | option -m: avoid additional quoting; | file | diff | annotate |
| Fri, 14 Dec 2007 21:22:02 +0100 | wenzelm | tuned diagnostics; | file | diff | annotate |
| Fri, 14 Dec 2007 21:16:27 +0100 | wenzelm | run Isabelle process with plain tty interaction; | file | diff | annotate |