| Sat, 20 Dec 2008 14:48:10 +0100 | wenzelm | renamed IsabellePlugin to Isabelle; | file | diff | annotate |
| Sun, 02 Nov 2008 16:28:37 +0100 | immler | fine scrolling principally possible | file | diff | annotate |
| Sun, 02 Nov 2008 14:50:26 +0100 | immler | calculate preferred sizes only when needed | file | diff | annotate |
| Fri, 31 Oct 2008 14:50:38 +0100 | immler | reverted and ignoring build.xml | file | diff | annotate |
| Fri, 31 Oct 2008 14:49:09 +0100 | immler | faster resizing, unlimited caching(but cache is cleared on resize) | file | diff | annotate |
| Tue, 28 Oct 2008 20:17:29 +0100 | immler | reverted build.xml | file | diff | annotate |
| Tue, 28 Oct 2008 20:15:28 +0100 | immler | absolute positioning according to preferred size of panels, | file | diff | annotate |
| Mon, 20 Oct 2008 20:25:54 +0200 | wenzelm | added target -pre-jar which copies jEdit plugin to be included in jar; | file | diff | annotate |
| Sun, 19 Oct 2008 18:27:30 +0200 | wenzelm | basic Netbeans project setup; | file | diff | annotate |