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 |