| 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 |
| Thu, 28 Sep 2000 14:41:48 +0200 | wenzelm | added COPYDB argument; | file | diff | annotate |
| Fri, 15 Sep 2000 20:20:45 +0200 | wenzelm | keep export of ISABELLE_TMP (!!!); | file | diff | annotate |
| Fri, 15 Sep 2000 16:31:36 +0200 | wenzelm | unexport exports; | file | diff | annotate |
| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Mon, 11 Jan 1999 12:52:53 +0100 | wenzelm | more robust heap file detection; | file | diff | annotate |
| Wed, 21 Oct 1998 14:05:49 +0200 | wenzelm | dropped support for SML/NJ 109.x; | file | diff | annotate |
| Mon, 22 Jun 1998 15:25:06 +0200 | wenzelm | check_mlhome_file; | file | diff | annotate |
| Wed, 31 Dec 1997 15:19:51 +0100 | wenzelm | use feeder to pipe into ML; | file | diff | annotate |