doc-src/IsarRef/Thy/document/Outer_Syntax.tex
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;
less more (0) -10 -1 tip