| Wed, 20 Mar 2019 16:55:21 +0100 | wenzelm | proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap); | changeset | files |
| Wed, 20 Mar 2019 17:33:06 +0100 | wenzelm | more robust: allow empty root (e.g. via symlink); | changeset | files |
| Tue, 19 Mar 2019 16:14:59 +0000 | paulson | merged | changeset | files |