| Sat, 11 Nov 2023 20:01:14 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Sat, 11 Nov 2023 19:36:59 +0100 | wenzelm | support interpreted/typed entries via Registry.Category and Registry.Table; | changeset | files |
| Sat, 11 Nov 2023 18:39:57 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| 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 |