Wed, 05 Dec 2018 22:46:44 +0100 | wenzelm | more direct File.executable operation: avoid external process (on Unix); | file | diff | annotate |
Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |
Mon, 04 Jun 2018 21:57:38 +0200 | wenzelm | updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; | file | diff | annotate |
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 |