| Thu, 21 Mar 2019 12:38:06 +0100 | wenzelm | updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; | changeset | files |
| Wed, 20 Mar 2019 23:06:51 +0100 | wenzelm | updated to cygwin-20190320; | changeset | files |
| Wed, 20 Mar 2019 22:41:50 +0100 | wenzelm | updated to Cygwin 3.0.4 (approximation for Isabelle2019); | changeset | files |
| Wed, 20 Mar 2019 22:01:12 +0100 | wenzelm | prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith; | changeset | files |
| Wed, 20 Mar 2019 21:57:02 +0100 | wenzelm | more robust reference to ghc exe (with multi-platform support); | changeset | files |
| Wed, 20 Mar 2019 21:54:08 +0100 | wenzelm | more robust: allow empty root (e.g. via symlink); | changeset | files |
| Wed, 20 Mar 2019 21:15:20 +0100 | wenzelm | avoid prompt; | changeset | files |
| 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 |