| Sun, 05 Feb 2023 15:59:18 +0100 | wenzelm | clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name); | file | diff | annotate |
| Tue, 31 Jan 2023 20:37:46 +0100 | wenzelm | support document preparation from already loaded theories; | file | diff | annotate |
| Tue, 31 Jan 2023 12:27:00 +0100 | wenzelm | clarified Document_Editor.Session: more explicit types, more robust operations; | file | diff | annotate |
| Mon, 30 Jan 2023 16:20:17 +0100 | wenzelm | clarified operation (without change of signature!); | file | diff | annotate |
| Fri, 20 Jan 2023 20:26:42 +0100 | wenzelm | dismantle special treatment of citations in Isabelle/Scala; | file | diff | annotate |
| Tue, 27 Dec 2022 22:48:01 +0100 | wenzelm | clarified modules: avoid duplication; | file | diff | annotate |
| Thu, 22 Dec 2022 15:23:26 +0100 | wenzelm | proper migrate_name between different kinds of Resources, notably for Windows; | file | diff | annotate |