bin/isabelle-interface
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
2001-09-08 wenzelm 2001-09-08 smart selection of isabelle-process versus isabelle-interface;