Wed, 11 Oct 2017 21:41:11 +0200 |
wenzelm |
back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
|
file |
diff |
annotate
|
Tue, 03 Oct 2017 12:30:36 +0200 |
wenzelm |
more recent polyml-test version;
|
file |
diff |
annotate
|
Fri, 19 May 2017 20:23:07 +0200 |
wenzelm |
clarified build_polyml_component;
|
file |
diff |
annotate
|
Fri, 17 Feb 2017 19:37:14 +0100 |
wenzelm |
updated to polyml-5.7 pre-release from repository;
|
file |
diff |
annotate
|
Sat, 04 Jun 2016 16:54:23 +0200 |
wenzelm |
updated to recent changes of Poly/ML directory layout;
|
file |
diff |
annotate
|
Fri, 17 Apr 2015 20:19:54 +0200 |
wenzelm |
updated polyml according to fixes-5.5.2 SVN version 2007;
|
file |
diff |
annotate
|
Wed, 14 May 2014 12:15:07 +0200 |
wenzelm |
practically obsolete: plain "poly" should work, except for Linux without libgmp installed;
|
file |
diff |
annotate
|
Mon, 28 Jan 2013 14:33:19 +0100 |
wenzelm |
updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
|
file |
diff |
annotate
|
Sat, 26 Jan 2013 19:53:15 +0100 |
wenzelm |
notes on building Poly/ML;
|
file |
diff |
annotate
|