| Sun, 14 Mar 2021 21:02:34 +0100 |
wenzelm |
removed spurious references to perl / libwww-perl;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2020 21:10:08 +0200 |
wenzelm |
updated for coming release;
|
file |
diff |
annotate
|
| Wed, 15 Jul 2020 12:30:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2020 14:07:28 +0100 |
wenzelm |
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
|
file |
diff |
annotate
|
| Fri, 22 Mar 2019 19:14:39 +0100 |
wenzelm |
updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 22:41:50 +0100 |
wenzelm |
updated to Cygwin 3.0.4 (approximation for Isabelle2019);
|
file |
diff |
annotate
|
| Mon, 04 Feb 2019 16:01:44 +0100 |
wenzelm |
more thorough File.set_executable, notably for Windows;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 14:58:56 +0100 |
wenzelm |
clarified gnutar options: more uniform owner;
|
file |
diff |
annotate
|
| 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
|