Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
Sat, 14 Feb 2009 01:23:38 -0800 | huffman | fix document generation | file | diff | annotate |
Sun, 28 Aug 2005 16:04:43 +0200 | wenzelm | tuned size of included graph; | file | diff | annotate |
Tue, 11 May 2004 10:48:30 +0200 | paulson | package needed for superscripts | file | diff | annotate |
Mon, 05 May 2003 18:22:01 +0200 | paulson | improved presentation of HOL/Auth theories | file | diff | annotate |