| 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 |