| 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 |