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
|