| 2008-10-04 | wenzelm | 2008-10-04 | replaced ISABELLE by ISABELLE_PROCESS; | file | diff | annotate |
| 2005-05-17 | wenzelm | 2005-05-17 | no longer support isa-FOO interface; | file | diff | annotate |
| 2005-05-17 | wenzelm | 2005-05-17 | proper treatment of directory links; tuned; | file | diff | annotate |
| 2005-04-27 | gagern | 2005-04-27 | make symlink handling compatible with whitespaces | file | diff | annotate |
| 2005-04-26 | wenzelm | 2005-04-26 | improved handling of symlinks; | file | diff | annotate |
| 2005-04-20 | gagern | 2005-04-20 | removed redundant readlink call | file | diff | annotate |
| 2005-04-20 | gagern | 2005-04-20 | Allow symlinks to shell scripts | file | diff | annotate |
| 2004-06-21 | kleing | 2004-06-21 | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2001-09-08 | wenzelm | 2001-09-08 | smart selection of isabelle-process versus isabelle-interface; | file | diff | annotate |