| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 03 Mar 2022 17:21:57 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 03 Mar 2022 17:11:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 17 May 2021 14:07:13 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 17 May 2021 13:40:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 12 Apr 2021 18:29:34 +0200 | wenzelm | clarified signature: avoid tmp file; | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 27 Feb 2021 18:04:29 +0100 | wenzelm | clarified modules: more like ML; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Tue, 13 Oct 2020 19:29:28 +0200 | wenzelm | proper library names on Windows; | file | diff | annotate |
| Tue, 13 Oct 2020 17:13:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 11 Oct 2020 17:42:32 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Sun, 11 Oct 2020 14:01:32 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 11 Oct 2020 13:09:43 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Sun, 11 Oct 2020 12:48:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 11 Oct 2020 12:14:58 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Sat, 10 Oct 2020 22:05:47 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 10 Oct 2020 21:45:58 +0200 | wenzelm | clarified signature: allow complex bash script; | file | diff | annotate |
| Sat, 10 Oct 2020 21:12:20 +0200 | wenzelm | clarified errors; | file | diff | annotate |
| Sat, 10 Oct 2020 21:04:49 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 10 Oct 2020 20:57:08 +0200 | wenzelm | more explicit MinGW context; | file | diff | annotate |
| Sat, 10 Oct 2020 14:46:13 +0200 | wenzelm | proper support for x86_64-windows via msys/mingw64; | file | diff | annotate |
| Sat, 10 Oct 2020 13:45:04 +0200 | wenzelm | more standard build from sources; | file | diff | annotate |
| Fri, 09 Oct 2020 20:54:26 +0200 | wenzelm | build Isabelle CSDP component from official downloads; | file | diff | annotate |