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