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