| Tue, 29 Aug 2023 16:42:08 +0200 | wenzelm | clarified signature: prefer enum types; | file | diff | annotate |
| Tue, 20 Dec 2022 16:34:13 +0100 | wenzelm | clarified state document nodes for Theories_Status / Document_Dockable; | file | diff | annotate |
| Mon, 19 Dec 2022 15:29:24 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |