| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Wed, 12 Mar 2014 14:17:13 +0100 | wenzelm | some document antiquotations for Isabelle/jEdit elements; | file | diff | annotate |
| Thu, 31 Oct 2013 16:10:35 +0100 | wenzelm | more on automatically tried tools; | file | diff | annotate |
| Sat, 21 Sep 2013 13:05:54 +0200 | wenzelm | basic setup for Isabelle/jEdit documentation; | file | diff | annotate |