doc-src/IsarRef/Thy/Document_Preparation.thy
Thu, 08 Oct 2009 15:59:15 +0200 haftmann corrected syntax diagrams for styles
Thu, 08 Oct 2009 15:16:13 +0200 haftmann new generalized concept for term styles
Mon, 09 Mar 2009 21:25:33 +0100 wenzelm markup antiquotation options;
less more (0) -10 -3 tip