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