Thu, 18 Mar 2021 21:49:19 +0100 | wenzelm | more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the "minus"; | file | diff | annotate |
Wed, 17 Mar 2021 22:24:57 +0100 | wenzelm | more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster; | file | diff | annotate |
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 |