Thu, 21 Mar 2019 14:54:25 +0100 | wenzelm | proper ISABELLE_OCAML_VERSION; | changeset | files |
Thu, 21 Mar 2019 14:17:36 +0100 | wenzelm | less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith; | changeset | files |
Thu, 21 Mar 2019 13:34:37 +0100 | wenzelm | more robust "switch create"; | changeset | files |
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 |