| Wed, 12 Aug 2020 19:34:38 +0200 |
wenzelm |
ML status widget similar to org.gjt.sp.jedit.gui.statusbar.MemoryStatusWidgetFactory;
|
file |
diff |
annotate
|
| Thu, 09 Apr 2020 21:58:34 +0200 |
wenzelm |
avoid hard-wired stuff: configure via plugin services;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:44:29 +0100 |
wenzelm |
support for session information via virtual file-system;
|
file |
diff |
annotate
|
| Fri, 11 Jan 2019 22:55:02 +0100 |
wenzelm |
access Isabelle theory exports via virtual file-system;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2017 15:15:29 +0200 |
wenzelm |
more robust: provide docking framework via base plugin;
|
file |
diff |
annotate
|
| Sun, 20 Aug 2017 14:03:23 +0200 |
wenzelm |
separate base plugin for important services that should be always available, despite startup errors of the main plugin;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 21:15:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2016 16:30:53 +0200 |
wenzelm |
Sidekick parser for isabelle-ml and sml mode;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2016 20:55:36 +0200 |
wenzelm |
support for context block structure in Sidekick;
|
file |
diff |
annotate
|
| Thu, 16 Oct 2014 12:09:57 +0200 |
wenzelm |
support line context with depth;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 18:14:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2014 14:46:26 +0200 |
wenzelm |
SideKick parser for bibtex entries;
|
file |
diff |
annotate
|
| Sun, 11 May 2014 20:23:08 +0200 |
wenzelm |
more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion;
|
file |
diff |
annotate
|
| Thu, 08 May 2014 00:14:06 +0200 |
wenzelm |
some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 11:05:48 +0200 |
wenzelm |
common context menu for Isabelle/jEdit;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 23:13:10 +0200 |
wenzelm |
added context menu for spell checker actions;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 15:53:56 +0200 |
wenzelm |
clarified SideKick parser name, which serves as quasi "mode" here;
|
file |
diff |
annotate
|
| Sat, 06 Jul 2013 21:19:38 +0200 |
wenzelm |
minimal jedit mode for Isabelle NEWS;
|
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 21:38:24 +0200 |
wenzelm |
clarified Sidekick configuration, including minor modes;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 21:40:54 +0200 |
wenzelm |
simplified directory structure;
|
file |
diff |
annotate
| base
|