Sat, 05 Apr 2014 11:37:00 +0200 | haftmann | closer correspondence of document and session names, while maintaining document names for external reference | file | diff | annotate |
Sat, 21 Sep 2013 17:20:08 +0200 | wenzelm | clarified logo; | file | diff | annotate |
Sat, 21 Sep 2013 13:05:54 +0200 | wenzelm | basic setup for Isabelle/jEdit documentation; | file | diff | annotate |