bin/isabelle-process
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;