| Wed, 27 Apr 2005 23:02:08 +0200 | make symlink handling compatible with whitespaces | file | diff | annotate |
| Tue, 26 Apr 2005 19:49:39 +0200 | improved handling of symlinks; | file | diff | annotate |
| Thu, 21 Apr 2005 22:02:06 +0200 | superceded by Pure.thy and CPure.thy; | file | diff | annotate |
| Wed, 20 Apr 2005 19:00:30 +0200 | removed redundant readlink call | file | diff | annotate |
| Wed, 20 Apr 2005 16:03:17 +0200 | Removed remaining references to Main.thy in reconstruction code. | file | diff | annotate |
| Wed, 20 Apr 2005 14:18:33 +0200 | Allow symlinks to shell scripts | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 07 May 2004 13:34:13 +0200 | Add -X option to trigger PGIP interaction mode. | file | diff | annotate |
| Sat, 08 Sep 2001 20:00:31 +0200 | smart selection of isabelle-process versus isabelle-interface; | file | diff | annotate |