| 2010-12-20 | wenzelm | tuned; | file | diff | annotate |
| 2010-12-20 | wenzelm | updated for Poly/ML 5.4.0; | file | diff | annotate |
| 2010-08-17 | wenzelm | updated for prospective Poly/ML 5.4; | file | diff | annotate |
| 2010-05-26 | wenzelm | misc updates for release; | file | diff | annotate |
| 2009-11-09 | wenzelm | updated to official Poly/ML 5.3.0; | file | diff | annotate |
| 2008-10-22 | wenzelm | updated to 5.2.1; | file | diff | annotate |
| 2008-06-03 | wenzelm | updated to official 5.2; | file | diff | annotate |
| 2008-05-28 | wenzelm | moved README-polyml to polyml/README; | file | diff | annotate |