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.
etc/symbols
changeset 67305 ecb74607063f
parent 64556 851ae0e7b09c
child 67311 3869b2400e22 
--- a/etc/symbols	Sat Dec 30 20:04:05 2017 +0100
+++ b/etc/symbols	Sat Dec 30 21:46:19 2017 +0100
@@ -326,7 +326,7 @@
 \<angle>                code: 0x002220
 \<copyright>            code: 0x0000a9
 \<registered>           code: 0x0000ae
-\<hyphen>               code: 0x0000ad  group: punctuation
+\<hyphen>               code: 0x002010  group: punctuation
 \<inverse>              code: 0x0000af  group: punctuation
 \<onequarter>           code: 0x0000bc  group: digit
 \<onehalf>              code: 0x0000bd  group: digit
isabelle