| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Sun, 28 Aug 2005 16:04:43 +0200 | wenzelm | tuned size of included graph; | file | diff | annotate |
| Thu, 29 Jul 2004 12:15:53 +0200 | paulson | documents for ZF-AC and ZF-Constructible | file | diff | annotate |