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 46213 0a5af667dc75
parent 43503 ca87677d2265
child 48670 206144b13849 
--- a/etc/symbols	Sat Jan 14 16:14:22 2012 +0100
+++ b/etc/symbols	Sat Jan 14 16:25:54 2012 +0100
@@ -351,7 +351,6 @@
 \<dieresis>             code: 0x0000a8
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
-\<spacespace>           code: 0x002423
 \<some>                 code: 0x0003f5
 \<^sub>                 code: 0x0021e9  abbrev: =_
 \<^sup>                 code: 0x0021e7  abbrev: =^
isabelle