| Wed, 20 Mar 2019 20:15:30 +0100 | wenzelm | access OCaml tools and libraries via ISABELLE_OCAMLFIND; | changeset | files |
| 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 |