| Tue, 28 Jan 2025 11:17:07 +0100 | wenzelm | clarified signature with minor performance tuning: avoid Context.proof_of with its Proof_Context.init_global; | changeset | files |
| Tue, 28 Jan 2025 11:05:45 +0100 | wenzelm | tuned names; | changeset | files |
| Tue, 28 Jan 2025 13:02:42 +0100 | haftmann | more explicit tests for non-PolyML SML platforms | changeset | files |