| Sat, 28 Jan 2023 15:04:15 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2022 22:38:03 +0100 |
wenzelm |
clarified signature: proper scopes and types;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 14:41:13 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2022 19:42:21 +0100 |
wenzelm |
clarified GUI.Selector, with support for separator as pseudo-entry;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 23:04:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 12:32:38 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 11:59:06 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2022 16:55:48 +0200 |
wenzelm |
tuned signature: avoid problems with scala3;
|
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
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 13 Aug 2020 13:18:17 +0200 |
wenzelm |
misc tuning, based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 13 Aug 2020 13:13:29 +0200 |
wenzelm |
clarified GUI;
|
file |
diff |
annotate
|
| Thu, 13 Aug 2020 12:59:41 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 11:22:11 +0200 |
wenzelm |
removed pointless GUI controls for ML_statistics --- no longer part of prover protocol (see also 38a64cc17403);
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 12:53:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2020 21:43:22 +0200 |
wenzelm |
clarified signature;
|
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
|
| Wed, 17 May 2017 13:47:19 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2017 22:13:07 +0100 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2016 22:09:52 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2015 18:59:47 +0100 |
wenzelm |
more reactive GUI;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 19:04:39 +0100 |
wenzelm |
limit statistics, to avoid exhaustion of heap space or GUI time;
|
file |
diff |
annotate
|
| Fri, 06 Nov 2015 18:15:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 13:55:01 +0200 |
wenzelm |
GUI controls for ML_statistics, for more digestible protocol dump;
|
file |
diff |
annotate
|
| Fri, 08 Aug 2014 11:43:08 +0200 |
wenzelm |
improved monitor panel;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Mon, 28 Apr 2014 14:41:49 +0200 |
wenzelm |
mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
|
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
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
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
|
| Fri, 18 Jan 2013 23:33:17 +0100 |
wenzelm |
use inlined session name as title for charts;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 14:10:57 +0100 |
wenzelm |
more interesting fields;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 13:54:45 +0100 |
wenzelm |
improved Monitor_Dockable, based on ML_Statistics operations;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2012 22:19:24 +0100 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|