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, 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
|
Sat, 06 Jul 2013 21:19:38 +0200 |
wenzelm |
minimal jedit mode for Isabelle NEWS;
|
file |
diff |
annotate
|
Tue, 25 Jun 2013 16:55:10 +0200 |
wenzelm |
dockable window for Isabelle documentation;
|
file |
diff |
annotate
|
Tue, 26 Mar 2013 11:26:13 +0100 |
wenzelm |
dockable window for timing information;
|
file |
diff |
annotate
|
Fri, 04 Jan 2013 20:42:09 +0100 |
wenzelm |
updated to jedit_build-20130104;
|
file |
diff |
annotate
|
Mon, 10 Dec 2012 15:46:50 +0100 |
wenzelm |
recovered title property from bfb5964e3041;
|
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
|
Sat, 01 Dec 2012 22:42:54 +0100 |
wenzelm |
moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap;
|
file |
diff |
annotate
|
Sat, 01 Dec 2012 19:51:43 +0100 |
wenzelm |
updated to jedit-5.0.0;
|
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
|
Fri, 30 Nov 2012 17:53:32 +0100 |
wenzelm |
alternative shortcut for English keyboard;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:40:34 +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
|
Sat, 24 Nov 2012 14:50:19 +0100 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
Wed, 21 Nov 2012 10:51:12 +0100 |
immler |
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
|
file |
diff |
annotate
|
Sun, 07 Oct 2012 16:05:31 +0200 |
wenzelm |
detach tooltip as dockable window;
|
file |
diff |
annotate
|
Thu, 27 Sep 2012 15:09:32 +0200 |
wenzelm |
removed obsolete Output1 dockable;
|
file |
diff |
annotate
|
Wed, 26 Sep 2012 14:38:23 +0200 |
wenzelm |
more uniform graphview terminology;
|
file |
diff |
annotate
|
Tue, 25 Sep 2012 22:36:06 +0200 |
wenzelm |
basic integration of graphview into document model;
|
file |
diff |
annotate
|
Fri, 21 Sep 2012 17:28:53 +0200 |
wenzelm |
renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
|
file |
diff |
annotate
|
Sun, 16 Sep 2012 20:16:28 +0200 |
wenzelm |
alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 12:29:02 +0200 |
wenzelm |
more scalable option-group;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 15:20:50 +0200 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
Fri, 24 Aug 2012 16:45:55 +0200 |
wenzelm |
support for direct hyperlinks, without the Hyperlinks plugin;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 22:25:17 +0200 |
wenzelm |
more structural parsing for minor modes;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 21:38:24 +0200 |
wenzelm |
clarified Sidekick configuration, including minor modes;
|
file |
diff |
annotate
|
Tue, 29 May 2012 22:24:31 +0200 |
wenzelm |
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
|
file |
diff |
annotate
|
Tue, 29 May 2012 21:48:05 +0200 |
wenzelm |
clarified prover startup: no timeout, read stderr more carefully;
|
file |
diff |
annotate
|
Tue, 29 May 2012 16:39:42 +0200 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
file |
diff |
annotate
|
Thu, 10 Nov 2011 22:39:32 +0100 |
wenzelm |
more generous margin;
|
file |
diff |
annotate
|
Sat, 10 Sep 2011 16:30:08 +0200 |
wenzelm |
some keyboard shortcuts for important actions;
|
file |
diff |
annotate
|
Wed, 17 Aug 2011 16:01:27 +0200 |
wenzelm |
some convenience actions/shortcuts for control symbols;
|
file |
diff |
annotate
|
Wed, 08 Jun 2011 21:40:54 +0200 |
wenzelm |
simplified directory structure;
|
file |
diff |
annotate
| base
|