| Thu, 21 Mar 2019 12:41:58 +0100 | wenzelm | prefer central root: just one copy of this bulky material; | changeset | files |
| 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 |