| Tue, 07 Nov 2017 11:11:37 +0100 | wenzelm | backed out odd "bug fix" 671decd2e627; | changeset | files |
| 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 |