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