| Sat, 11 Nov 2023 16:01:57 +0100 | wenzelm | clarified output; | changeset | files |
| Sat, 11 Nov 2023 13:31:14 +0100 | wenzelm | support for global registry; | changeset | files |
| Fri, 10 Nov 2023 16:03:52 +0100 | wenzelm | clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?"; | changeset | files |
| Thu, 09 Nov 2023 15:11:52 +0000 | haftmann | slightly less technical formulation of very specific type class | changeset | files |
| Thu, 09 Nov 2023 15:11:51 +0000 | haftmann | weakened dependency | changeset | files |
| Thu, 09 Nov 2023 15:11:51 +0000 | haftmann | explicit type class for discrete linordered semidoms | changeset | files |
| Thu, 09 Nov 2023 19:06:50 +0100 | Fabian Huch | proper dummy timing entries; | changeset | files |