| Thu, 23 Sep 2010 18:44:26 +0200 |
wenzelm |
explicit Session.Phase indication with associated event bus;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 20:50:25 +0200 |
wenzelm |
tuned panel names and actions;
|
file |
diff |
annotate
|
| Sat, 18 Sep 2010 14:28:42 +0200 |
wenzelm |
basic setup for prover session panel;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 22:47:36 +0200 |
wenzelm |
Isabelle/jEdit property for global tooltip dismiss delay;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 09:47:41 +0200 |
wenzelm |
more flexibile font size via CSS <style> instead of old <font> element;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 23:42:03 +0200 |
wenzelm |
control tooltip font via Swing HTML, with tooltip-font-size property;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:59:55 +0200 |
wenzelm |
separate event bus and dockable for raw output (stdout);
|
file |
diff |
annotate
|
| Tue, 11 May 2010 23:36:06 +0200 |
wenzelm |
more precise pretty printing based on actual font metrics;
|
file |
diff |
annotate
|
| Tue, 11 May 2010 15:47:31 +0200 |
wenzelm |
support Isabelle plugin properties with defaults;
|
file |
diff |
annotate
|
| Tue, 12 Jan 2010 14:57:29 +0100 |
wenzelm |
updated version and dependencies;
|
file |
diff |
annotate
|
| Thu, 31 Dec 2009 00:38:15 +0100 |
wenzelm |
basic setup for synchronous / modal (!) prover startup;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 18:22:10 +0100 |
wenzelm |
removed experimental history panel;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2009 20:17:02 +0100 |
wenzelm |
back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 23:45:42 +0100 |
wenzelm |
renamed "raw output" to "protocol";
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 22:41:32 +0100 |
wenzelm |
misc updates;
|
file |
diff |
annotate
|
| Sun, 13 Sep 2009 23:03:55 +0200 |
wenzelm |
regular activate=defer -- may debug remotely, no need to run under netbeans;
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 15:15:13 +0200 |
immler |
gui element to set current document version
|
file |
diff |
annotate
|
| Thu, 25 Jun 2009 21:14:10 +0200 |
wenzelm |
simplified option pane: proper logic title, hardwired font path;
|
file |
diff |
annotate
|
| Sat, 23 May 2009 14:26:51 +0200 |
wenzelm |
recovered iso-latin-1 text;
|
file |
diff |
annotate
|
| Fri, 22 May 2009 14:47:57 +0200 |
immler |
implemented IsabelleHyperlinkSource (only links inside the current buffer)
|
file |
diff |
annotate
|
| Fri, 22 May 2009 13:43:35 +0200 |
immler |
added hyperlink plugin
|
file |
diff |
annotate
|
| Sat, 28 Mar 2009 15:40:47 +0100 |
immler |
when jEdit is run from Netbeans, activate=defer does not work (why?)
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 21:32:14 +0100 |
immler |
merged: resolved conflicts with Markups: ML-syntax styles in styles.props
|
file |
diff |
annotate
|
| Fri, 20 Mar 2009 21:31:45 +0100 |
wenzelm |
recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013);
|
file |
diff |
annotate
|
| Sun, 01 Feb 2009 12:50:21 +0100 |
immler |
modified netbeans build such that dist can be used as settings-directory for jedit;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 18:25:15 +0100 |
wenzelm |
tuned order of menu items;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 17:14:27 +0100 |
wenzelm |
added author field;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 16:07:51 +0100 |
wenzelm |
regular plugin activation via "defer";
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 14:48:10 +0100 |
wenzelm |
renamed IsabellePlugin to Isabelle;
|
file |
diff |
annotate
| base
|