Wed, 04 Jun 2014 18:18:09 +0200 | wenzelm | misc tuning and updates; | file | diff | annotate |
Mon, 19 May 2014 16:48:29 +0200 | wenzelm | prefer T1 with searchable underscore (requires proper cm-super fonts); | file | diff | annotate |
Thu, 31 Oct 2013 17:13:39 +0100 | wenzelm | more screenshots; | file | diff | annotate |
Thu, 10 Oct 2013 12:02:12 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 21 Sep 2013 17:37:02 +0200 | wenzelm | more front-matter; | file | diff | annotate |
Sat, 21 Sep 2013 17:20:08 +0200 | wenzelm | clarified logo; | file | diff | annotate |
Sat, 21 Sep 2013 16:08:17 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 21 Sep 2013 15:23:31 +0200 | wenzelm | added/updated material from src/Tools/jEdit/README.html; | file | diff | annotate |
Sat, 21 Sep 2013 13:05:54 +0200 | wenzelm | basic setup for Isabelle/jEdit documentation; | file | diff | annotate |