| Sat, 28 Apr 2012 17:53:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 28 Apr 2012 17:05:31 +0200 | wenzelm | some coverage of Isabelle/jEdit; | file | diff | annotate |
| Sat, 28 Apr 2012 16:06:30 +0200 | wenzelm | some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x; | file | diff | annotate |
| Mon, 27 Jun 2011 22:20:49 +0200 | wenzelm | document antiquotations are managed as theory data, with proper name space and entity markup; | file | diff | annotate |