| Mon, 03 Mar 2014 12:24:14 +0100 | wenzelm | recovered position hyperlinks from 65c9968286d5 (NB: "def" position vs. regular one); | changeset | files |
| Mon, 03 Mar 2014 12:18:59 +0100 | wenzelm | tuned messages and markup; | changeset | files |
| Mon, 03 Mar 2014 12:14:47 +0100 | wenzelm | test polyml-svn; | changeset | files |
| Mon, 03 Mar 2014 11:58:55 +0100 | wenzelm | README is optional in test compilations; | changeset | files |