| Thu, 22 Apr 2021 10:11:11 +0200 | wenzelm | simplified typesetting of \<guillemotleft>...\<guillemotright>; | file | diff | annotate |
| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Tue, 07 Jun 2016 17:16:24 +0200 | Andreas Lochbihler | import wasysym needed by Rewrite.thy | file | diff | annotate |