History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/build_cygwin.scala
Revision Date Author Comments
# 9e34211d 04-Jun-2018 wenzelm <none@none>

updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
record cygwin mirror explicitly;
# e4215551 29-Sep-2017 wenzelm <none@none>

updated to x86_64-cygwin;
# c5a6061d 28-Aug-2017 wenzelm <none@none>

updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
# c88f335e 28-Feb-2017 wenzelm <none@none>

proper Isabelle/Scala tool;