| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 07 May 2004 13:34:13 +0200 | aspinall | Add -X option to trigger PGIP interaction mode. | file | diff | annotate |
| Sat, 08 Sep 2001 20:00:31 +0200 | wenzelm | smart selection of isabelle-process versus isabelle-interface; | file | diff | annotate |