| Sat, 30 Sep 2017 12:28:41 +0200 | wenzelm | updated to x86_64-cygwin; | file | diff | annotate |
| Mon, 28 Aug 2017 19:06:00 +0200 | wenzelm | updated to cygwin-20170828, which is close to Cygwin 2.8.2-1; | file | diff | annotate |
| Tue, 28 Feb 2017 19:50:08 +0100 | wenzelm | proper Isabelle/Scala tool; | file | diff | annotate |