| 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 |