Admin/polyml/README
Wed, 14 May 2014 12:00:18 +0200 wenzelm updated to polyml-5.5.2;
Tue, 17 Sep 2013 21:12:41 +0200 wenzelm updated to polyml-5.5.1;
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;
Mon, 21 Jan 2013 16:50:43 +0100 wenzelm repackaged polyml-5.5.0-1 -- only x86-cygwin changed;
Mon, 17 Sep 2012 12:19:41 +0200 wenzelm some updates for polyml-5.5.0;
Sat, 15 Oct 2011 15:55:10 +0200 wenzelm updated to polyml-5.4.1;
Mon, 20 Dec 2010 23:26:17 +0100 wenzelm tuned;
Mon, 20 Dec 2010 23:19:16 +0100 wenzelm updated for Poly/ML 5.4.0;
Tue, 17 Aug 2010 18:04:08 +0200 wenzelm updated for prospective Poly/ML 5.4;
Wed, 26 May 2010 11:34:23 +0200 wenzelm misc updates for release;
Mon, 09 Nov 2009 21:43:44 +0100 wenzelm updated to official Poly/ML 5.3.0;
Wed, 22 Oct 2008 21:25:00 +0200 wenzelm updated to 5.2.1;
Tue, 03 Jun 2008 16:45:59 +0200 wenzelm updated to official 5.2;
Wed, 28 May 2008 23:43:39 +0200 wenzelm moved README-polyml to polyml/README;
less more (0) tip