| Wed, 10 Feb 2016 14:35:10 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Sun, 07 Feb 2016 19:43:40 +0100 | wenzelm | more explicit dummy proofs; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Thu, 05 Nov 2015 00:17:13 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Tue, 20 Oct 2015 23:53:40 +0200 | wenzelm | isabelle update_cartouches -t; | file | diff | annotate |
| Mon, 12 Oct 2015 22:03:24 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 12 Oct 2015 21:42:14 +0200 | wenzelm | redundant due to \parindent 0pt; | file | diff | annotate |