Thu, 14 Mar 2019 16:35:58 +0100 | wenzelm | tuned whitespace; | changeset | files |
Thu, 14 Mar 2019 19:06:40 +0100 | haftmann | include zarith in the default opam setup | changeset | files |
Thu, 14 Mar 2019 13:54:31 +0000 | haftmann | dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available | changeset | files |