| Tue, 07 Nov 2017 10:22:10 +0100 | wenzelm | more recent polyml-test version; | changeset | files |
| Mon, 06 Nov 2017 17:21:32 +0100 | wenzelm | minimal document model for theory files; | changeset | files |
| Mon, 06 Nov 2017 17:24:09 +0100 | wenzelm | tuned signature; | changeset | files |