| Wed, 21 Dec 2022 15:34:33 +0100 | wenzelm | actually build document; | file | diff | annotate |
| Wed, 21 Dec 2022 11:30:24 +0100 | wenzelm | more thorough GUI updates, notably for multiple Document dockables; | file | diff | annotate |
| Tue, 20 Dec 2022 19:43:40 +0100 | wenzelm | more GUI operations; | file | diff | annotate |
| Tue, 20 Dec 2022 16:34:13 +0100 | wenzelm | clarified state document nodes for Theories_Status / Document_Dockable; | file | diff | annotate |
| Tue, 20 Dec 2022 13:59:07 +0100 | wenzelm | clarified state of document model vs. document editor selection (again, see also a9d52d02bd83); | file | diff | annotate |
| Mon, 19 Dec 2022 12:58:18 +0100 | wenzelm | proper state change, e.g. on open/close of "Document" panel; | file | diff | annotate |
| Mon, 19 Dec 2022 11:16:46 +0100 | wenzelm | tuned signature; | file | diff | annotate |