| 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 |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 11 Nov 2021 22:06:18 +0100 | wenzelm | clarified signature: prefer static operations; | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 23:17:47 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |