Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Sun, 30 Nov 2008 14:03:45 +0100 | wenzelm | removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; | file | diff | annotate |
Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |