| Thu, 11 Feb 2016 16:29:38 +0100 |
wenzelm |
evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
|
file |
diff |
annotate
|
| Sun, 31 Jan 2016 13:25:21 +0100 |
wenzelm |
updated to official polyml-5.6;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2016 16:03:58 +0100 |
wenzelm |
updated polyml;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2015 21:15:26 +0100 |
wenzelm |
updated polyml;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2015 23:17:48 +0100 |
wenzelm |
updated to polyml-5.6-20151206, which presumably improves stability on Windows;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2015 17:56:11 +0100 |
wenzelm |
updated to polyml-5.6-20151123;
|
file |
diff |
annotate
|
| Mon, 31 Aug 2015 22:28:23 +0200 |
wenzelm |
support x86_64-windows;
|
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, 22 Apr 2015 18:43:33 +0200 |
wenzelm |
updated polyml according to fixes-5.5.2 SVN version 2009;
|
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
|
| Fri, 25 Jul 2014 21:29:12 +0200 |
wenzelm |
updated to polyml-5.5.2-1 which addresses two hard crashes;
|
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
|
| 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
|
| Mon, 21 Jan 2013 16:50:43 +0100 |
wenzelm |
repackaged polyml-5.5.0-1 -- only x86-cygwin changed;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2012 12:19:41 +0200 |
wenzelm |
some updates for polyml-5.5.0;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2011 15:55:10 +0200 |
wenzelm |
updated to polyml-5.4.1;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:26:17 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:19:16 +0100 |
wenzelm |
updated for Poly/ML 5.4.0;
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 18:04:08 +0200 |
wenzelm |
updated for prospective Poly/ML 5.4;
|
file |
diff |
annotate
|
| Wed, 26 May 2010 11:34:23 +0200 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 21:43:44 +0100 |
wenzelm |
updated to official Poly/ML 5.3.0;
|
file |
diff |
annotate
|
| Wed, 22 Oct 2008 21:25:00 +0200 |
wenzelm |
updated to 5.2.1;
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 16:45:59 +0200 |
wenzelm |
updated to official 5.2;
|
file |
diff |
annotate
|
| Wed, 28 May 2008 23:43:39 +0200 |
wenzelm |
moved README-polyml to polyml/README;
|
file |
diff |
annotate
|