| Wed, 20 Mar 2019 20:33:40 +0100 | wenzelm | updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC; | changeset | files |
| 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 |
| Tue, 19 Mar 2019 16:14:59 +0000 | paulson | merged | changeset | files |
| Tue, 19 Mar 2019 16:14:51 +0000 | paulson | new material about topology, etc.; also fixes for yesterday's | changeset | files |
| Mon, 18 Mar 2019 21:50:51 +0100 | wenzelm | merged | changeset | files |