bin/isabelle-process
Mon, 09 Oct 2006 19:37:02 +0200 wenzelm added option -S (secure mode);
Sat, 08 Oct 2005 20:15:31 +0200 wenzelm support ML_SUFFIX;
Tue, 19 Jul 2005 17:21:45 +0200 wenzelm tuned;
Wed, 13 Jul 2005 16:32:15 +0200 aspinall Add ISABELLE_PID for proof_general.ML
Fri, 27 May 2005 13:51:32 +0200 aspinall Add back rudely removed and popular -X option.
Tue, 17 May 2005 09:58:40 +0200 wenzelm proper treatment of directory links;
Wed, 27 Apr 2005 23:02:08 +0200 gagern make symlink handling compatible with whitespaces
Tue, 26 Apr 2005 19:49:39 +0200 wenzelm improved handling of symlinks;
Thu, 21 Apr 2005 22:02:06 +0200 wenzelm superceded by Pure.thy and CPure.thy;
Wed, 20 Apr 2005 19:00:30 +0200 gagern removed redundant readlink call
Wed, 20 Apr 2005 16:03:17 +0200 quigley Removed remaining references to Main.thy in reconstruction code.
Wed, 20 Apr 2005 14:18:33 +0200 gagern Allow symlinks to shell scripts
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Fri, 07 May 2004 13:34:13 +0200 aspinall Add -X option to trigger PGIP interaction mode.
Sat, 08 Sep 2001 20:00:31 +0200 wenzelm smart selection of isabelle-process versus isabelle-interface;
less more (0) tip