Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_fonts.scala
changeset 69341 6aa24ccd8049
parent 69339 6baa37cbf70b
child 69343 395c4fb15ea2 
--- a/src/Pure/Admin/build_fonts.scala	Sat Nov 24 15:41:22 2018 +0100
+++ b/src/Pure/Admin/build_fonts.scala	Sat Nov 24 15:54:53 2018 +0100
@@ -40,6 +40,7 @@
         0x06,  // Y
         0x07,  // EOF
         0x7f,  // DEL
+        0xaf,  // INVERSE
         0xac,  // logicalnot
         0xb0,  // degree
         0xb1,  // plusminus
isabelle