src/Doc/IsarImplementation/document/style.sty
Fri, 23 Aug 2013 15:36:54 +0200 wenzelm discontinued unused antiquotation blocks;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip