Mon, 15 Nov 2010 15:41:58 +0100 | wenzelm | tuned error messages; | file | diff | annotate |
Wed, 22 Sep 2010 22:14:25 +0200 | wenzelm | isabelle-process: less verbose no-commit mode; | file | diff | annotate |
Sun, 31 May 2009 15:49:35 +0200 | wenzelm | removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled; | file | diff | annotate |
Sun, 31 May 2009 15:27:19 +0200 | wenzelm | removed obsolete COPYDB flag; | file | diff | annotate |
Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |