bin/isabelle-interface
2008-10-04 wenzelm 2008-10-04 replaced ISABELLE by ISABELLE_PROCESS;
2005-05-17 wenzelm 2005-05-17 no longer support isa-FOO interface;
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-20 gagern 2005-04-20 removed redundant readlink call
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;