| 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
|
| 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
|
| 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
|
| 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 16:39:42 +0200 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2011 14:48:06 +0200 |
wenzelm |
explicit jEdit actions -- to enable key mappings, for example;
|
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
|