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 62025 8007e4ff493a
parent 62023 19605292757e
child 62108 0046bacc5f5b 
--- a/etc/symbols	Fri Jan 01 11:18:54 2016 +0100
+++ b/etc/symbols	Fri Jan 01 11:27:29 2016 +0100
@@ -352,7 +352,7 @@
 \<dieresis>             code: 0x0000a8
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
-\<bind>                 code: 0x00291c  abbrev: >>  abbrev: >>=
+\<bind>                 code: 0x00291c  abbrev: >>=
 \<then>                 code: 0x002aa2  abbrev: >>
 \<some>                 code: 0x0003f5
 \<hole>                 code: 0x002311
isabelle