| Tue, 28 Jan 2025 13:35:08 +0100 | wenzelm | tuned names; | changeset | files |
| Tue, 28 Jan 2025 13:33:07 +0100 | wenzelm | minor performance tuning: avoid somewhat indirect filter / add_consts; | changeset | files |
| Tue, 28 Jan 2025 11:29:42 +0100 | wenzelm | clarified signature: more standard map_data; | changeset | files |
| Tue, 28 Jan 2025 11:20:53 +0100 | wenzelm | misc tuning; | changeset | files |
| 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 |
| Tue, 28 Jan 2025 07:17:30 +0100 | haftmann | typo | changeset | files |