Mon, 06 Jun 2016 16:04:26 +0200 |
wenzelm |
added action "isabelle.select-entity";
|
file |
diff |
annotate
|
Mon, 19 Oct 2015 16:37:45 +0200 |
wenzelm |
added action "isabelle-emph";
|
file |
diff |
annotate
|
Mon, 21 Sep 2015 20:21:29 +0200 |
wenzelm |
clarified isabelle.update-state;
|
file |
diff |
annotate
|
Mon, 21 Sep 2015 16:15:50 +0200 |
wenzelm |
added action "isabelle-update-state";
|
file |
diff |
annotate
|
Mon, 10 Aug 2015 17:49:36 +0200 |
wenzelm |
added action to toggle breakpoints (on editor side);
|
file |
diff |
annotate
|
Wed, 23 Jul 2014 23:08:22 +0200 |
wenzelm |
added action "isabelle.options" (despite problems with initial window size);
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 11:26:17 +0200 |
wenzelm |
explicit menu action to complete word;
|
file |
diff |
annotate
|
Mon, 14 Apr 2014 21:51:41 +0200 |
wenzelm |
some actions to maintain spell-checker dictionary;
|
file |
diff |
annotate
|
Sat, 01 Mar 2014 18:33:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 18 Feb 2014 20:20:42 +0100 |
wenzelm |
more uniform treatment of dockables and their standard actions;
|
file |
diff |
annotate
|
Tue, 18 Feb 2014 19:00:13 +0100 |
wenzelm |
standardized action and panel names;
|
file |
diff |
annotate
|
Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
Sat, 21 Sep 2013 16:44:31 +0200 |
wenzelm |
removed obsolete README;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 21:49:46 +0200 |
wenzelm |
added action isabelle.complete, using standard jEdit keyboard shortcut;
|
file |
diff |
annotate
|
Fri, 23 Aug 2013 11:41:17 +0200 |
wenzelm |
added action isabelle.reset-font-size;
|
file |
diff |
annotate
|
Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
Thu, 08 Aug 2013 14:24:21 +0200 |
wenzelm |
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
|
file |
diff |
annotate
|
Fri, 02 Aug 2013 11:51:21 +0200 |
wenzelm |
dockable window for "find" dialog (GUI only);
|
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 10:54:37 +0200 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 20:34:53 +0200 |
wenzelm |
updated key bindings to execution range;
|
file |
diff |
annotate
|
Tue, 25 Jun 2013 16:55:10 +0200 |
wenzelm |
dockable window for Isabelle documentation;
|
file |
diff |
annotate
|
Sun, 23 Jun 2013 20:26:31 +0200 |
wenzelm |
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
|
file |
diff |
annotate
|
Tue, 26 Mar 2013 11:26:13 +0100 |
wenzelm |
dockable window for timing information;
|
file |
diff |
annotate
|
Mon, 10 Dec 2012 15:17:47 +0100 |
wenzelm |
stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
|
file |
diff |
annotate
|
Sat, 08 Dec 2012 22:19:24 +0100 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|
Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:40:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:35:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 17:15:21 +0100 |
wenzelm |
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
|
file |
diff |
annotate
|