| Fri, 17 May 2013 19:04:52 +0200 |
wenzelm |
added isabelle-process option -o;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 18:39:49 +0200 |
wenzelm |
discontinued obsolete isabelle-process options -f and -u;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 20:26:34 +0200 |
wenzelm |
clean startup of RAW session;
|
file |
diff |
annotate
|
| Sun, 12 May 2013 20:58:01 +0200 |
wenzelm |
re-init ISABELLE_PROCESS_OPTIONS to allow nested ISABELLE_PROCESS invocations, e.g. HOL-Mutabelle-ex;
|
file |
diff |
annotate
|
| Sun, 12 May 2013 19:56:30 +0200 |
wenzelm |
load options for regular isabelle-process, not just for Isar loop (relevant for numerous low-level tools) -- NB: Isabelle_Process manages options via protocol message;
|
file |
diff |
annotate
|
| Sun, 12 May 2013 13:46:41 +0200 |
wenzelm |
Proof General interaction always uses Isar loop;
|
file |
diff |
annotate
|
| Sat, 11 May 2013 18:45:38 +0200 |
wenzelm |
removed some obsolete PGIP/PGEclipse material;
|
file |
diff |
annotate
|
| Thu, 28 Feb 2013 16:19:08 +0100 |
wenzelm |
more robust build error handling, e.g. missing outer syntax commands;
|
file |
diff |
annotate
|
| Mon, 06 Aug 2012 21:11:42 +0200 |
wenzelm |
pass Isabelle/Scala system options into ML process of Isar tty or build jobs;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2011 14:12:09 +0200 |
wenzelm |
augment existing print mode;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2011 22:18:17 +0200 |
wenzelm |
alternative Socket_Channel;
|
file |
diff |
annotate
|
| Mon, 09 Aug 2010 18:18:32 +0200 |
wenzelm |
Isabelle_Process: separate input fifo for commands (still using the old tty protocol);
|
file |
diff |
annotate
|
| Fri, 18 Dec 2009 11:28:24 +0100 |
wenzelm |
removed junk (cf. f49d45afa634);
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 23:44:15 +0100 |
wenzelm |
Result.cache;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2009 17:08:06 +0200 |
wenzelm |
function splitarray: splightly more abstract version that accomodates older bashes;
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 15:05:34 +0200 |
wenzelm |
change IFS only locally -- thanks to bash arrays;
|
file |
diff |
annotate
|
| Thu, 25 Jun 2009 13:25:35 +0200 |
wenzelm |
renamed IsabelleProcess to Isabelle_Process;
|
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
|
| Tue, 02 Dec 2008 17:50:25 +0100 |
wenzelm |
removed CVS Id;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 20:06:23 +0200 |
wenzelm |
check WRAPPER_OUTPUT node type;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 19:29:56 +0200 |
wenzelm |
refined option -W: output stream;
|
file |
diff |
annotate
|
| Sat, 14 Jun 2008 17:26:09 +0200 |
wenzelm |
removed obsolete ML_SUFFIX;
|
file |
diff |
annotate
|
| 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.)
|
file |
diff |
annotate
|
| Tue, 04 Dec 2007 22:49:21 +0100 |
wenzelm |
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
|
| Mon, 04 Dec 2006 21:33:36 +0100 |
aspinall |
Forward compatibility with new Proof General module.
|
file |
diff |
annotate
|
| Mon, 09 Oct 2006 20:12:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2006 19:37:02 +0200 |
wenzelm |
added option -S (secure mode);
|
file |
diff |
annotate
|