| 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
|
| Fri, 19 May 2017 16:43:11 +0200 |
wenzelm |
updated to scala-2.12.2;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2017 15:23:51 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 17:00:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 12:41:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 12:41:22 +0100 |
wenzelm |
more explicit options;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:43:54 +0100 |
wenzelm |
clarified singleton module;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 12:04:11 +0100 |
wenzelm |
clarified Session.Phase;
|
file |
diff |
annotate
|
| Tue, 10 Jan 2017 16:53:05 +0100 |
wenzelm |
support "purge" operation on document model;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 14:34:53 +0100 |
wenzelm |
separate Buffer_Model vs. File_Model;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2017 13:27:18 +0100 |
wenzelm |
manage buffer models as explicit global state;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2016 13:27:31 +0100 |
wenzelm |
back to stable scala-2.11.8;
|
file |
diff |
annotate
|
| Thu, 03 Nov 2016 17:51:10 +0100 |
wenzelm |
updated to scala-2.12.0;
|
file |
diff |
annotate
|
| Thu, 14 Apr 2016 12:08:38 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2016 21:42:32 +0100 |
wenzelm |
node_status update is back on GUI thread (reverting 3ad2b2055ffc) -- avoid potential deadlock of GUI_Thread.now during shutdown, when GUI thread is already terminated;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 14:09:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2015 14:17:20 +0200 |
wenzelm |
produce nodes_status outside GUI thread, to avoid a few milliseconds of blocking;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 17:00:16 +0200 |
wenzelm |
support hyperlinks with optional focus change;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 15:32:05 +0200 |
wenzelm |
clarified display;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 15:00:46 +0200 |
wenzelm |
clarified display;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 13:01:30 +0200 |
wenzelm |
more explicit discrimination of empty nodes -- suppress from Theories panel;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 12:51:08 +0200 |
wenzelm |
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 09:38:40 +0200 |
wenzelm |
tuned signature -- separate module Word;
|
file |
diff |
annotate
|
| Mon, 07 Apr 2014 21:23:02 +0200 |
wenzelm |
tuned signature -- prefer static type Document.Node.Name;
|
file |
diff |
annotate
|
| Fri, 04 Apr 2014 15:58:20 +0200 |
wenzelm |
tuned rendering -- take 1px line border into account;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 18:39:42 +0200 |
wenzelm |
tuned rendering for 5 different look-and-feels;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2014 20:22:12 +0200 |
wenzelm |
more explicit iterator terminology, in accordance to Scala 2.8 library;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2014 17:39:47 +0200 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2014 11:08:16 +0200 |
wenzelm |
tuned rendering -- visual indication of the status range, to make more clear when information might is out of view;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 10:59:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Thu, 05 Dec 2013 17:58:03 +0100 |
wenzelm |
merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
|
file |
diff |
annotate
|
| Sat, 30 Nov 2013 16:07:00 +0100 |
wenzelm |
non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);
|
file |
diff |
annotate
|
| Wed, 20 Nov 2013 16:15:54 +0100 |
wenzelm |
restrict node_required status and Theories panel to actual theories;
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 20:09:26 +0200 |
wenzelm |
added option "jedit_auto_load";
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 15:09:15 +0200 |
wenzelm |
improved FlowLayout for wrapping of components over multiple lines;
|
file |
diff |
annotate
|
| Sat, 24 Aug 2013 14:58:36 +0200 |
wenzelm |
more precise painting;
|
file |
diff |
annotate
|
| Sat, 24 Aug 2013 13:32:51 +0200 |
wenzelm |
more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
|
file |
diff |
annotate
|
| Sat, 24 Aug 2013 12:31:24 +0200 |
wenzelm |
clarified border (again, see also 7ce3ebc268a1);
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 17:11:27 +0200 |
wenzelm |
manage hyperlinks via PIDE editor interface;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 11:56:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 05 Aug 2013 11:08:54 +0200 |
wenzelm |
initial update of nodes_required, for proper GUI state;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 22:15:17 +0200 |
wenzelm |
proper border (again) -- avoid NPE on Windows;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 21:49:29 +0200 |
wenzelm |
added home-made tooltips;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 21:13:05 +0200 |
wenzelm |
home-grown mouse handling to pretend that the painted checkbox is actually a Swing component;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 19:59:14 +0200 |
wenzelm |
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 12:31:10 +0200 |
wenzelm |
paint unassigned/unchanged nodes as unprocessed -- relevant for editor_continuous_checking = false;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 10:54:37 +0200 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|
| Tue, 30 Jul 2013 22:43:11 +0200 |
wenzelm |
more uniform border;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 20:46:21 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 15:01:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 13:43:12 +0200 |
wenzelm |
always init GUI state;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 12:50:16 +0200 |
wenzelm |
support declarative editor_execution_range, instead of old-style check/cancel buttons;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2013 14:03:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2013 12:40:51 +0100 |
wenzelm |
mixed theory/command entries;
|
file |
diff |
annotate
|
| Tue, 15 Jan 2013 12:45:19 +0100 |
wenzelm |
separate color ranges by 1px to improve discernment of overall theory status;
|
file |
diff |
annotate
|
| Mon, 14 Jan 2013 23:08:40 +0100 |
wenzelm |
more prominent status ticks;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 21:47:44 +0100 |
wenzelm |
tuned labels;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
| base
|