Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recovered missing glyph;
authorwenzelm
Sun, 10 Feb 2019 18:12:24 +0100
changeset 69796 04c50000fad1
parent 69795 4791988fcbc4
child 69797 7e5a7a11d5d1
recovered missing glyph;
src/Pure/Admin/build_fonts.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_fonts.scala	Sun Feb 10 18:04:48 2019 +0100
+++ b/src/Pure/Admin/build_fonts.scala	Sun Feb 10 18:12:24 2019 +0100
@@ -19,6 +19,7 @@
       (0x0400 to 0x04ff) ++  // Cyrillic
       (0x0600 to 0x06ff) ++  // Arabic
       Seq(
+        0x02dd,  // hungarumlaut
         0x2018,  // single quote
         0x2019,  // single quote
         0x201a,  // single quote
isabelle