Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
Mon, 28 Sep 2020 16:43:49 +0200 | wenzelm | more standard and more robust, following hints on the Net; | file | diff | annotate |
Mon, 08 Jun 2020 15:09:57 +0200 | wenzelm | clarified sessions: "Notable Examples in Isabelle/Pure"; | file | diff | annotate |