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 |