| 2013-05-17 |
wenzelm |
added isabelle-process option -o;
|
file |
diff |
annotate
|
| 2013-05-17 |
wenzelm |
discontinued obsolete isabelle-process options -f and -u;
|
file |
diff |
annotate
|
| 2013-05-13 |
wenzelm |
clean startup of RAW session;
|
file |
diff |
annotate
|
| 2013-05-12 |
wenzelm |
re-init ISABELLE_PROCESS_OPTIONS to allow nested ISABELLE_PROCESS invocations, e.g. HOL-Mutabelle-ex;
|
file |
diff |
annotate
|
| 2013-05-12 |
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
|
| 2013-05-12 |
wenzelm |
Proof General interaction always uses Isar loop;
|
file |
diff |
annotate
|
| 2013-05-11 |
wenzelm |
removed some obsolete PGIP/PGEclipse material;
|
file |
diff |
annotate
|
| 2013-02-28 |
wenzelm |
more robust build error handling, e.g. missing outer syntax commands;
|
file |
diff |
annotate
|
| 2012-08-06 |
wenzelm |
pass Isabelle/Scala system options into ML process of Isar tty or build jobs;
|
file |
diff |
annotate
|
| 2011-09-23 |
wenzelm |
augment existing print mode;
|
file |
diff |
annotate
|
| 2011-09-21 |
wenzelm |
alternative Socket_Channel;
|
file |
diff |
annotate
|
| 2010-08-09 |
wenzelm |
Isabelle_Process: separate input fifo for commands (still using the old tty protocol);
|
file |
diff |
annotate
|
| 2009-12-18 |
wenzelm |
removed junk (cf. f49d45afa634);
|
file |
diff |
annotate
|
| 2009-12-17 |
wenzelm |
Result.cache;
|
file |
diff |
annotate
|
| 2009-11-29 |
wenzelm |
double check file permissions of write-back image -- more robust for root or administrator on Cygwin;
|
file |
diff |
annotate
|
| 2009-08-22 |
wenzelm |
function splitarray: splightly more abstract version that accomodates older bashes;
|
file |
diff |
annotate
|
| 2009-08-04 |
wenzelm |
change IFS only locally -- thanks to bash arrays;
|
file |
diff |
annotate
|
| 2009-06-25 |
wenzelm |
renamed IsabelleProcess to Isabelle_Process;
|
file |
diff |
annotate
|
| 2009-05-31 |
wenzelm |
removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
|
file |
diff |
annotate
|
| 2009-05-31 |
wenzelm |
removed obsolete COPYDB flag;
|
file |
diff |
annotate
|
| 2008-12-02 |
wenzelm |
removed CVS Id;
|
file |
diff |
annotate
|
| 2008-09-04 |
wenzelm |
check WRAPPER_OUTPUT node type;
|
file |
diff |
annotate
|
| 2008-08-28 |
wenzelm |
refined option -W: output stream;
|
file |
diff |
annotate
|
| 2008-06-14 |
wenzelm |
removed obsolete ML_SUFFIX;
|
file |
diff |
annotate
|
| 2007-12-15 |
wenzelm |
non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
|
file |
diff |
annotate
|
| 2007-12-04 |
wenzelm |
replaced option -p by -W (process wrapper);
|
file |
diff |
annotate
|
| 2007-11-29 |
wenzelm |
isabelle-process: option -p echos ISABELLE_PID;
|
file |
diff |
annotate
|
| 2006-12-04 |
aspinall |
Forward compatibility with new Proof General module.
|
file |
diff |
annotate
|
| 2006-10-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2006-10-09 |
wenzelm |
added option -S (secure mode);
|
file |
diff |
annotate
|
| 2005-10-08 |
wenzelm |
support ML_SUFFIX;
|
file |
diff |
annotate
|
| 2005-07-19 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2005-07-13 |
aspinall |
Add ISABELLE_PID for proof_general.ML
|
file |
diff |
annotate
|
| 2005-05-27 |
aspinall |
Add back rudely removed and popular -X option.
|
file |
diff |
annotate
|
| 2005-05-17 |
wenzelm |
proper treatment of directory links;
|
file |
diff |
annotate
|
| 2005-04-27 |
gagern |
make symlink handling compatible with whitespaces
|
file |
diff |
annotate
|
| 2005-04-26 |
wenzelm |
improved handling of symlinks;
|
file |
diff |
annotate
|
| 2005-04-21 |
wenzelm |
superceded by Pure.thy and CPure.thy;
|
file |
diff |
annotate
|
| 2005-04-20 |
gagern |
removed redundant readlink call
|
file |
diff |
annotate
|
| 2005-04-20 |
quigley |
Removed remaining references to Main.thy in reconstruction code.
|
file |
diff |
annotate
|
| 2005-04-20 |
gagern |
Allow symlinks to shell scripts
|
file |
diff |
annotate
|
| 2004-06-21 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| 2004-05-07 |
aspinall |
Add -X option to trigger PGIP interaction mode.
|
file |
diff |
annotate
|
| 2001-09-08 |
wenzelm |
smart selection of isabelle-process versus isabelle-interface;
|
file |
diff |
annotate
|