Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
Thu, 22 Sep 2011 17:15:46 +0200 | berghofe | Removed hcentering and vcentering options, since they are not supported | file | diff | annotate |
Thu, 22 Sep 2011 16:50:23 +0200 | berghofe | Added documentation for HOL-SPARK | file | diff | annotate |