| Tue, 17 May 2005 10:19:44 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 17 May 2005 10:19:43 +0200 | wenzelm | export ISABELLE_HOME, do not normalize; | changeset | files |
| Tue, 17 May 2005 10:19:42 +0200 | wenzelm | removed THIS_IS_ISABELLE_ADMIN; | changeset | files |
| Tue, 17 May 2005 10:08:24 +0200 | wenzelm | removed rev_append; | changeset | files |
| Tue, 17 May 2005 10:08:24 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 17 May 2005 10:05:15 +0200 | wenzelm | added; | changeset | files |
| Tue, 17 May 2005 09:58:40 +0200 | wenzelm | proper treatment of directory links; | changeset | files |