| Sat, 08 Oct 2005 20:15:31 +0200 | wenzelm | support ML_SUFFIX; | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Jul 2005 16:32:15 +0200 | aspinall | Add ISABELLE_PID for proof_general.ML | file | diff | annotate |
| Fri, 27 May 2005 13:51:32 +0200 | aspinall | Add back rudely removed and popular -X option. | file | diff | annotate |
| Tue, 17 May 2005 09:58:40 +0200 | wenzelm | proper treatment of directory links; | file | diff | annotate |
| Wed, 27 Apr 2005 23:02:08 +0200 | gagern | make symlink handling compatible with whitespaces | file | diff | annotate |
| Tue, 26 Apr 2005 19:49:39 +0200 | wenzelm | improved handling of symlinks; | file | diff | annotate |