| 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 |