| Fri, 14 Dec 2007 21:15:34 +0100 | wenzelm | added ISABELLE_LINE_EDITOR setting; | file | diff | annotate |
| Tue, 04 Dec 2007 22:49:22 +0100 | wenzelm | isabelle process: replaced option -p by -W (process wrapper); | file | diff | annotate |
| Thu, 29 Nov 2007 18:09:36 +0100 | wenzelm | isabelle-process: option -p echos ISABELLE_PID; | file | diff | annotate |
| Thu, 15 Nov 2007 11:49:00 +0100 | wenzelm | cover ISABELLE_IDENTIFIER; | file | diff | annotate |
| Fri, 20 Jul 2007 19:09:11 +0200 | wenzelm | added ISABELLE_FILE_IDENT; | file | diff | annotate |
| Wed, 22 Nov 2006 19:55:22 +0100 | wenzelm | ML_IDENTIFIER includes Isabelle version; | file | diff | annotate |
| Mon, 09 Oct 2006 20:12:45 +0200 | wenzelm | isabelle-process: options -S, -X; | file | diff | annotate |