| Thu, 06 Mar 2008 19:21:29 +0100 | wenzelm | obsolete (cf. ML-Systems/polyml_common.ML); | changeset | files |
| Thu, 06 Mar 2008 19:21:28 +0100 | wenzelm | renamed polyml-old-basis.ML to polyml_old_basis.ML; | changeset | files |
| Thu, 06 Mar 2008 19:21:26 +0100 | wenzelm | rearrangements to make latest Poly/ML the default, not old 4.x; | changeset | files |