| Mon, 25 Nov 2019 12:19:14 +0100 | wenzelm | tuned -- avoid deprecated constructors; | changeset | files |
| Mon, 25 Nov 2019 12:16:26 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 25 Nov 2019 10:58:15 +0100 | wenzelm | avoid vacuous session Pure -- dump does not read_pure_theory; | changeset | files |
| Sun, 24 Nov 2019 22:54:42 +0100 | wenzelm | updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326); | changeset | files |
| Sun, 24 Nov 2019 15:45:32 +0100 | wenzelm | clarified vacuous selection vs. Pure; | changeset | files |
| Sun, 24 Nov 2019 15:31:28 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 23 Nov 2019 09:56:11 +0000 | haftmann | tuned theory structure | changeset | files |