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
|