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 |