bin/isabelle-process
Mon, 09 Aug 2010 18:18:32 +0200 wenzelm Isabelle_Process: separate input fifo for commands (still using the old tty protocol);
Fri, 18 Dec 2009 11:28:24 +0100 wenzelm removed junk (cf. f49d45afa634);
Thu, 17 Dec 2009 23:44:15 +0100 wenzelm Result.cache;
Sun, 29 Nov 2009 17:23:39 +0100 wenzelm double check file permissions of write-back image -- more robust for root or administrator on Cygwin;
Sat, 22 Aug 2009 17:08:06 +0200 wenzelm function splitarray: splightly more abstract version that accomodates older bashes;
Tue, 04 Aug 2009 15:05:34 +0200 wenzelm change IFS only locally -- thanks to bash arrays;
Thu, 25 Jun 2009 13:25:35 +0200 wenzelm renamed IsabelleProcess to Isabelle_Process;
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;
Tue, 02 Dec 2008 17:50:25 +0100 wenzelm removed CVS Id;
Thu, 04 Sep 2008 20:06:23 +0200 wenzelm check WRAPPER_OUTPUT node type;
Thu, 28 Aug 2008 19:29:56 +0200 wenzelm refined option -W: output stream;
Sat, 14 Jun 2008 17:26:09 +0200 wenzelm removed obsolete ML_SUFFIX;
Sat, 15 Dec 2007 17:53:32 +0100 wenzelm non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
Tue, 04 Dec 2007 22:49:21 +0100 wenzelm replaced option -p by -W (process wrapper);
Thu, 29 Nov 2007 18:09:36 +0100 wenzelm isabelle-process: option -p echos ISABELLE_PID;
Mon, 04 Dec 2006 21:33:36 +0100 aspinall Forward compatibility with new Proof General module.
Mon, 09 Oct 2006 20:12:42 +0200 wenzelm tuned;
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
less more (0) -30 tip