| Tue, 23 Apr 2024 15:57:03 +0200 |
wenzelm |
update Windows build host;
|
file |
diff |
annotate
|
| Tue, 23 Apr 2024 15:56:04 +0200 |
wenzelm |
proper command-line;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 10:47:32 +0100 |
wenzelm |
follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);
|
file |
diff |
annotate
|
| Sat, 10 Oct 2020 22:04:51 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2020 20:56:09 +0200 |
wenzelm |
more libs for build_csdp;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2020 17:26:23 +0200 |
wenzelm |
tuned --- according to instructions on Website;
|
file |
diff |
annotate
|
| Thu, 14 Nov 2019 11:43:46 +0100 |
wenzelm |
updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2016 21:03:17 +0200 |
wenzelm |
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
|
file |
diff |
annotate
|
| Mon, 31 Aug 2015 22:28:23 +0200 |
wenzelm |
support x86_64-windows;
|
file |
diff |
annotate
|
| Wed, 19 Aug 2015 21:51:30 +0200 |
wenzelm |
clarified x86-windows setup;
|
file |
diff |
annotate
|