bin/isabelle-interface
Sat, 04 Oct 2008 16:19:00 +0200 wenzelm replaced ISABELLE by ISABELLE_PROCESS;
Tue, 17 May 2005 18:10:33 +0200 wenzelm no longer support isa-FOO interface;
Tue, 17 May 2005 09:58:40 +0200 wenzelm proper treatment of directory links;
Wed, 27 Apr 2005 23:02:08 +0200 gagern make symlink handling compatible with whitespaces
Tue, 26 Apr 2005 19:49:39 +0200 wenzelm improved handling of symlinks;
Wed, 20 Apr 2005 19:00:30 +0200 gagern removed redundant readlink call
Wed, 20 Apr 2005 14:18:33 +0200 gagern Allow symlinks to shell scripts
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Sat, 08 Sep 2001 20:00:31 +0200 wenzelm smart selection of isabelle-process versus isabelle-interface;
less more (0) tip