bin/isabelle-process
2008-12-02 wenzelm removed CVS Id;
2008-09-04 wenzelm check WRAPPER_OUTPUT node type;
2008-08-28 wenzelm refined option -W: output stream;
2008-06-14 wenzelm removed obsolete ML_SUFFIX;
2007-12-15 wenzelm non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
2007-12-04 wenzelm replaced option -p by -W (process wrapper);
2007-11-29 wenzelm isabelle-process: option -p echos ISABELLE_PID;
2006-12-04 aspinall Forward compatibility with new Proof General module.
2006-10-09 wenzelm tuned;
2006-10-09 wenzelm added option -S (secure mode);
2005-10-08 wenzelm support ML_SUFFIX;
2005-07-19 wenzelm tuned;
2005-07-13 aspinall Add ISABELLE_PID for proof_general.ML
2005-05-27 aspinall Add back rudely removed and popular -X option.
2005-05-17 wenzelm proper treatment of directory links;
2005-04-27 gagern make symlink handling compatible with whitespaces
2005-04-26 wenzelm improved handling of symlinks;
2005-04-21 wenzelm superceded by Pure.thy and CPure.thy;
2005-04-20 gagern removed redundant readlink call
2005-04-20 quigley Removed remaining references to Main.thy in reconstruction code.
2005-04-20 gagern Allow symlinks to shell scripts
2004-06-21 kleing Merged in license change from Isabelle2004
2004-05-07 aspinall Add -X option to trigger PGIP interaction mode.
2001-09-08 wenzelm smart selection of isabelle-process versus isabelle-interface;
less more (0) tip