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 |