| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
| Thu, 26 Dec 2024 16:42:32 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Wed, 21 Dec 2022 13:14:34 +0100 | wenzelm | clarified GUI; | file | diff | annotate |
| Mon, 19 Dec 2022 14:27:26 +0100 | wenzelm | tuned signature, following Document_Dockable; | file | diff | annotate |
| Mon, 19 Dec 2022 14:10:12 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 06 Dec 2022 16:38:50 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 05 Dec 2022 21:10:39 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 05 Dec 2022 15:41:40 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 07 Nov 2022 21:53:36 +0100 | wenzelm | suppress document_required GUI element for now: still unused; | file | diff | annotate |
| Mon, 07 Nov 2022 21:51:14 +0100 | wenzelm | clarified layout; | file | diff | annotate |
| Mon, 07 Nov 2022 21:32:09 +0100 | wenzelm | clarified node_required status: distinguish theory_required vs. document_required; | file | diff | annotate |
| Sat, 13 Aug 2022 23:04:53 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 13 Aug 2022 21:23:59 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 13 Aug 2022 17:18:45 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 13 Aug 2022 11:22:51 +0200 | wenzelm | tuned, following hints by IntelliJ IDEA; | file | diff | annotate |
| Sat, 13 Aug 2022 11:19:18 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Fri, 12 Aug 2022 20:14:20 +0200 | wenzelm | clarified 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 |
| Fri, 25 Jun 2021 12:32:56 +0200 | wenzelm | more visual emphasis on node status; | file | diff | annotate |
| Thu, 04 Mar 2021 15:52:08 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Wed, 03 Mar 2021 22:48:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 18 Feb 2019 16:13:10 +0100 | wenzelm | suppress nodes with vacuous status, notably empty nodes (amending 5f160df596c1); | file | diff | annotate |
| Mon, 18 Feb 2019 16:04:52 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 18 Feb 2019 15:57:06 +0100 | wenzelm | more robust: avoid potentially unrelated snapshot for the sake of is_suppressed; | file | diff | annotate |
| Sun, 17 Feb 2019 22:15:02 +0100 | wenzelm | clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f; | file | diff | annotate |
| Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | file | diff | annotate |
| Tue, 04 Sep 2018 14:47:50 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 04 Sep 2018 14:40:31 +0200 | wenzelm | clarified Nodes_Status; | file | diff | annotate |
| Sat, 18 Aug 2018 17:29:49 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 18 Aug 2018 15:02:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 18 Aug 2018 14:59:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 18 Aug 2018 14:55:53 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 18 Aug 2018 14:42:42 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 18 Aug 2018 14:35:48 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 18 Aug 2018 14:16:24 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 18 Aug 2018 13:52:12 +0200 | wenzelm | trim nodes_status: avoid potential memory leak; | file | diff | annotate |
| Sat, 18 Aug 2018 13:40:23 +0200 | wenzelm | simplified (cf. dcd69422b953); | file | diff | annotate |
| Sat, 18 Aug 2018 13:33:40 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 18 Aug 2018 12:41:05 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 29 May 2018 20:00:10 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 27 May 2018 22:21:43 +0200 | wenzelm | clarified signature -- avoid confusion with Resources.is_hidden; | file | diff | annotate |
| Thu, 28 Dec 2017 12:36:11 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 16 Dec 2017 16:46:01 +0100 | wenzelm | PIDE markup for session ROOT files; | file | diff | annotate |
| Fri, 01 Sep 2017 15:15:29 +0200 | wenzelm | more robust: provide docking framework via base plugin; | file | diff | annotate |
| Sun, 20 Aug 2017 20:05:36 +0200 | wenzelm | proper update of options (amending c3d6dd17d626); | file | diff | annotate |
| Mon, 14 Aug 2017 16:03:24 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Mon, 14 Aug 2017 15:52:07 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Mon, 14 Aug 2017 15:40:48 +0200 | wenzelm | proper tooltip (amending fd8a65b026f1); | file | diff | annotate |
| Mon, 14 Aug 2017 13:58:38 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Mon, 14 Aug 2017 13:53:49 +0200 | wenzelm | more explicit failure; | file | diff | annotate |
| Mon, 14 Aug 2017 11:30:07 +0200 | wenzelm | explicit indication of consolidated nodes; | 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 |
| Sat, 24 Jun 2017 21:23:48 +0200 | wenzelm | back to scala-2.12.2, after a41435469559; | file | diff | annotate |
| Tue, 13 Jun 2017 20:16:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 07 Jun 2017 20:46:03 +0200 | wenzelm | more tooltips; | file | diff | annotate |
| Mon, 22 May 2017 00:23:25 +0200 | wenzelm | back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test; | file | diff | annotate |