src/Pure/Admin/build_cygwin.scala
Fri, 02 Oct 2020 21:10:08 +0200 wenzelm updated for coming release;
Wed, 15 Jul 2020 12:30:25 +0200 wenzelm clarified signature;
Thu, 16 Jan 2020 14:07:28 +0100 wenzelm updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
Fri, 22 Mar 2019 19:14:39 +0100 wenzelm updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
Wed, 20 Mar 2019 22:41:50 +0100 wenzelm updated to Cygwin 3.0.4 (approximation for Isabelle2019);
Mon, 04 Feb 2019 16:01:44 +0100 wenzelm more thorough File.set_executable, notably for Windows;
Sat, 08 Dec 2018 14:58:56 +0100 wenzelm clarified gnutar options: more uniform owner;
Wed, 05 Dec 2018 22:46:44 +0100 wenzelm more direct File.executable operation: avoid external process (on Unix);
Sat, 10 Nov 2018 14:08:02 +0100 wenzelm support for user-defined Isabelle/Scala command-line tools;
Mon, 04 Jun 2018 21:57:38 +0200 wenzelm updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
Sat, 30 Sep 2017 12:28:41 +0200 wenzelm updated to x86_64-cygwin;
Mon, 28 Aug 2017 19:06:00 +0200 wenzelm updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
Tue, 28 Feb 2017 19:50:08 +0100 wenzelm proper Isabelle/Scala tool;
less more (0) tip