| 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, 26 Mar 2012 15:38:09 +0200 | wenzelm | updated theory header syntax and related details; | file | diff | annotate |