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 |