| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
| Thu, 26 Dec 2024 15:24:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 19 Nov 2024 15:46:22 +0100 | wenzelm | clarified signature: avoid implicit functionality; | file | diff | annotate |
| Tue, 19 Nov 2024 10:11:37 +0100 | wenzelm | clarified signature: prefer defaults for Output_Dockable (and its variants); | file | diff | annotate |
| Mon, 18 Nov 2024 15:05:31 +0100 | wenzelm | clarified Tree_View.init_model: more uniform; | file | diff | annotate |
| Sun, 17 Nov 2024 20:14:57 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 16 Nov 2024 15:04:41 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 08 Nov 2024 13:27:26 +0100 | wenzelm | clarified signature with subtle change of semantics: output consists of individual messages that are formatted (and separated) internally; | file | diff | annotate |
| Thu, 07 Nov 2024 13:22:59 +0100 | wenzelm | more uniform pretty_text_area.zoom via its zoom_component; | file | diff | annotate |
| Wed, 06 Nov 2024 22:04:05 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 06 Nov 2024 16:07:30 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 06 Nov 2024 15:38:45 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 04 Nov 2024 12:58:05 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 03 Nov 2024 20:53:12 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Nov 2024 20:15:12 +0100 | wenzelm | tuned names; | file | diff | annotate |
| Sun, 03 Nov 2024 20:01:26 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Nov 2024 19:38:30 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 02 Nov 2024 16:22:06 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Sat, 02 Nov 2024 16:11:02 +0100 | wenzelm | tuned: remove redundant checks; | file | diff | annotate |
| Sat, 02 Nov 2024 16:03:26 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 02 Nov 2024 15:59:58 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 02 Nov 2024 15:42:37 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 02 Nov 2024 15:35:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 02 Nov 2024 15:28:17 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | file | diff | annotate |
| Sat, 02 Nov 2024 15:22:50 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 02 Nov 2024 14:58:50 +0100 | wenzelm | clarified modules: more re-usable; | file | diff | annotate |
| Sun, 02 Jul 2023 19:05:59 +0200 | wenzelm | tuned: prefer Scala over Java; | file | diff | annotate |
| Fri, 23 Dec 2022 22:41:47 +0100 | wenzelm | more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch; | file | diff | annotate |
| Thu, 08 Dec 2022 22:38:03 +0100 | wenzelm | clarified signature: proper scopes and types; | file | diff | annotate |
| Thu, 08 Dec 2022 17:04:13 +0100 | wenzelm | clarified signature: more robust; | file | diff | annotate |
| Sat, 13 Aug 2022 23:08:07 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 13 Aug 2022 23:04:53 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 13 Aug 2022 22:41:45 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 13 Aug 2022 12:32:38 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Fri, 12 Aug 2022 12:17:14 +0200 | wenzelm | tuned, following hints by IntelliJ IDEA; | file | diff | annotate |
| Fri, 12 Aug 2022 12:06:29 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 12 Aug 2022 11:47:12 +0200 | wenzelm | tuned, following hints by IntelliJ IDEA; | file | diff | annotate |
| Fri, 12 Aug 2022 11:35:44 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |
| Thu, 04 Mar 2021 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 06 Apr 2020 12:53:45 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Sat, 07 Mar 2020 12:19:41 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 28 Nov 2018 12:05:50 +0100 | wenzelm | prefer Isabelle_Fonts.sans (not mono) as derived GUI font; | file | diff | annotate |
| Fri, 01 Sep 2017 15:15:29 +0200 | wenzelm | more robust: provide docking framework via base plugin; | file | diff | annotate |
| Tue, 27 Jun 2017 21:56:56 +0200 | wenzelm | clarified defaults; | file | diff | annotate |
| Tue, 27 Jun 2017 21:36:58 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 13 Jun 2017 20:16:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 14 Mar 2017 21:54:46 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 14 Mar 2017 21:43:54 +0100 | wenzelm | clarified singleton module; | file | diff | annotate |
| Tue, 14 Mar 2017 11:22:47 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 13 Mar 2017 20:33:42 +0100 | wenzelm | proper local debugger state, depending on session; | file | diff | annotate |
| Thu, 12 Jan 2017 11:17:05 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 24 Aug 2015 20:32:32 +0200 | wenzelm | atomic Debugger.status; | file | diff | annotate |
| Mon, 24 Aug 2015 19:49:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 24 Aug 2015 11:45:26 +0200 | wenzelm | more thorough GUI update; | file | diff | annotate |
| Mon, 24 Aug 2015 11:38:05 +0200 | wenzelm | maintain per-thread focus context; | file | diff | annotate |
| Mon, 24 Aug 2015 00:20:20 +0200 | wenzelm | more explicit debugger caret rendering; | file | diff | annotate |