doc-src/IsarImplementation/style.sty
Sun, 07 Nov 2010 22:26:25 +0100 wenzelm more literal appearance of antiqopen/antiqclose;
Sun, 17 Oct 2010 20:25:36 +0100 wenzelm use continental paragraph style, which works better with mixture of (in)formal text;
less more (0) -10 -2 tip