| Wed, 19 Jan 2011 21:00:16 +0100 | wenzelm | added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate; | file | diff | annotate |
| Mon, 15 Nov 2010 15:41:58 +0100 | wenzelm | tuned error messages; | file | diff | annotate |
| Thu, 11 Nov 2010 18:55:17 +0100 | wenzelm | tuned error message; | 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 |