| Sun, 14 Nov 2021 21:52:13 +0100 |
wenzelm |
updated to polyml-5.9-610a153b941d -- close to final;
|
file |
diff |
annotate
|
| Fri, 12 Nov 2021 16:50:37 +0100 |
wenzelm |
updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default);
|
file |
diff |
annotate
|
| Sun, 07 Nov 2021 15:46:46 +0100 |
wenzelm |
updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
|
file |
diff |
annotate
|
| Sat, 30 Oct 2021 12:03:43 +0200 |
wenzelm |
updated for pre-5.9 testing;
|
file |
diff |
annotate
|
| Tue, 11 May 2021 13:45:09 +0200 |
wenzelm |
update to gmp-6.2.1, with support for arm64-darwin;
|
file |
diff |
annotate
|
| Fri, 07 May 2021 13:34:01 +0200 |
wenzelm |
updated to polyml-5.8.2 (official release);
|
file |
diff |
annotate
|
| Thu, 19 Nov 2020 17:46:58 +0100 |
wenzelm |
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
|
file |
diff |
annotate
|
| Sun, 01 Nov 2020 14:04:52 +0100 |
wenzelm |
updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2020 21:36:17 +0200 |
wenzelm |
updated to polyml-test-d68c6736402e --- follow current ongoing development;
|
file |
diff |
annotate
|
| Tue, 25 Aug 2020 22:56:34 +0200 |
wenzelm |
updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2020 19:01:31 +0200 |
wenzelm |
updated to polyml-test-f54aa41240d0;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2020 13:15:58 +0200 |
wenzelm |
updated to polyml-test-159dc81efc3b;
|
file |
diff |
annotate
|
| Tue, 21 Jul 2020 12:37:00 +0200 |
wenzelm |
updated to polyml-5.8.1 (official release);
|
file |
diff |
annotate
|
| Wed, 08 Jul 2020 16:35:23 +0200 |
wenzelm |
updated to polyml-5.8.1-20200708: recent repository version for testing;
|
file |
diff |
annotate
|
| Fri, 28 Feb 2020 21:34:04 +0100 |
wenzelm |
updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
|
file |
diff |
annotate
|
| Sun, 24 Nov 2019 22:54:42 +0100 |
wenzelm |
updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
|
file |
diff |
annotate
|
| Thu, 14 Nov 2019 11:49:54 +0100 |
wenzelm |
updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
|
file |
diff |
annotate
|
| Wed, 13 Nov 2019 20:21:05 +0100 |
wenzelm |
updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
|
file |
diff |
annotate
|
| Fri, 01 Nov 2019 19:40:55 +0100 |
wenzelm |
updated to polyml-5.8.1-20191101 test version;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2019 15:34:33 +0100 |
wenzelm |
updated to polyml-5.8 (official release);
|
file |
diff |
annotate
|
| Wed, 06 Mar 2019 19:29:46 +0100 |
wenzelm |
updated to polyml-5.8-20190306;
|
file |
diff |
annotate
|
| Wed, 20 Feb 2019 12:10:40 +0100 |
wenzelm |
updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
|
file |
diff |
annotate
|
| Sun, 17 Feb 2019 19:31:04 +0100 |
wenzelm |
updated to polyml-test-8fda4fd22441;
|
file |
diff |
annotate
|
| Fri, 01 Feb 2019 15:45:59 +0100 |
wenzelm |
updated to polyml-test-b68438d33c69;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 21:21:44 +0100 |
wenzelm |
updated to polyml-test-1236652ebd55;
|
file |
diff |
annotate
|
| Sun, 27 Jan 2019 17:30:09 +0100 |
wenzelm |
updated to polyml-test-1b2dcf8f5202;
|
file |
diff |
annotate
|
| Wed, 23 Jan 2019 23:07:21 +0100 |
wenzelm |
updated to polyml-test-a444f281ccec;
|
file |
diff |
annotate
|
| Mon, 21 Jan 2019 20:03:20 +0100 |
wenzelm |
updated polyml platform: 32=x86_64_32;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2018 17:25:40 +0200 |
wenzelm |
updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2018 14:01:52 +0200 |
wenzelm |
updated to polyml-5.7.1-7 (see also afa7c5a239e6);
|
file |
diff |
annotate
|