| Thu, 13 Jan 2011 18:00:13 +0100 | wenzelm | updated Isabelle/jEdit limitations and workarounds; | file | diff | annotate |
| Sun, 14 Nov 2010 17:33:28 +0100 | wenzelm | updated README; | file | diff | annotate |
| Sat, 13 Nov 2010 00:24:41 +0100 | wenzelm | updated README; | file | diff | annotate |
| Thu, 28 Oct 2010 15:06:47 +0200 | wenzelm | back again to non-Apple font rendering (cf. 4977324373f2); | file | diff | annotate |
| Fri, 10 Sep 2010 15:16:51 +0200 | wenzelm | Markup_Tree is already scalable; | file | diff | annotate |
| Tue, 20 Jul 2010 22:03:37 +0200 | wenzelm | further Mac OS X deviations; | file | diff | annotate |
| Mon, 31 May 2010 22:08:40 +0200 | wenzelm | notes on Isabelle/jEdit; | file | diff | annotate |