| Sun, 22 Oct 2017 14:36:21 +0200 |
wenzelm |
more recent polyml-test version;
|
file |
diff |
annotate
|
| Tue, 03 Oct 2017 12:30:36 +0200 |
wenzelm |
more recent polyml-test version;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2017 20:43:21 +0200 |
wenzelm |
basic support for x86_64-cygwin;
|
file |
diff |
annotate
|
| Sat, 10 Dec 2016 15:45:16 +0100 |
wenzelm |
updated Poly/ML repository test version (08-Dec-2016);
|
file |
diff |
annotate
|
| Mon, 23 Nov 2015 17:56:11 +0100 |
wenzelm |
updated to polyml-5.6-20151123;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2015 21:44:39 +0200 |
wenzelm |
fully detached test run, to avoid flashing window on Windows with Cygwin-Terminal;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2015 17:57:34 +0200 |
wenzelm |
convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
|
file |
diff |
annotate
|
| Tue, 08 Sep 2015 20:06:17 +0200 |
wenzelm |
updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 14:13:00 +0200 |
wenzelm |
updated to polyml-5.5.3-20150820, with native x86-windows support;
|
file |
diff |
annotate
|
| Wed, 14 May 2014 12:00:18 +0200 |
wenzelm |
updated to polyml-5.5.2;
|
file |
diff |
annotate
|
| Tue, 17 Sep 2013 21:12:41 +0200 |
wenzelm |
updated to polyml-5.5.1;
|
file |
diff |
annotate
|
| Sat, 26 Jan 2013 19:52:49 +0100 |
wenzelm |
tuned ML platform fallback;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 16:37:21 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2012 12:19:41 +0200 |
wenzelm |
some updates for polyml-5.5.0;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|