| Mon, 09 Nov 2009 21:45:24 +0100 | ballarin | Merged. | changeset | files |
| Mon, 09 Nov 2009 21:33:22 +0100 | ballarin | Removed obsolete code. | changeset | files |
| Mon, 09 Nov 2009 21:43:44 +0100 | wenzelm | updated to official Poly/ML 5.3.0; | changeset | files |
| Mon, 09 Nov 2009 21:34:42 +0100 | wenzelm | switched some isatest sessions to official Poly/ML 5.3.0; | changeset | files |
| Mon, 09 Nov 2009 21:30:54 +0100 | wenzelm | setup for official Poly/ML 5.3.0, which is now the default; | changeset | files |
| Mon, 09 Nov 2009 20:47:39 +0100 | wenzelm | locale_const/target_notation: uniform use of Term.aconv_untyped; | changeset | files |
| Mon, 09 Nov 2009 19:42:33 +0100 | wenzelm | eliminated hard tabulators; | changeset | files |
| Mon, 09 Nov 2009 16:06:08 +0000 | paulson | fixed some inappropriate names | changeset | files |