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 |