| Wed, 12 Dec 2012 16:28:18 +0100 |
wenzelm |
prevent dedicated MacOSX plugin from switching off vital workarounds;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2012 22:14:59 +0100 |
wenzelm |
proper action labels, to make this appear in the "Shortcuts" panel, for example;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2012 17:08:39 +0100 |
wenzelm |
avoid odd warnings due to failure of systray icon;
|
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:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
| Wed, 21 Nov 2012 14:07:35 +0100 |
wenzelm |
enable Symbols dockable by default;
|
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 16:39:42 +0200 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 21:53:24 +0200 |
wenzelm |
some sidekick options for more advanced completion;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 22:06:05 +0200 |
wenzelm |
simplified directory structure;
|
file |
diff |
annotate
| base
|