| Wed, 17 Jul 2019 16:10:05 +0200 | wenzelm | added \<llangle>, \<rrangle>; | file | diff | annotate |
| Wed, 17 Jul 2019 11:09:43 +0200 | wenzelm | added \<bbar>; | file | diff | annotate |
| Wed, 17 Jul 2019 09:40:43 +0200 | wenzelm | added \<sqdot>; | file | diff | annotate |
| Sun, 09 Dec 2018 18:11:56 +0100 | wenzelm | more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused); | file | diff | annotate |
| Sun, 09 Dec 2018 16:33:45 +0100 | wenzelm | clarified names; | file | diff | annotate | base |