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 55015 e33c5bd729ff
parent 53345 8c333d659e8f
child 55033 8e8243975860 
--- a/etc/symbols	Wed Jan 15 22:24:57 2014 +0100
+++ b/etc/symbols	Wed Jan 15 23:25:28 2014 +0100
@@ -347,6 +347,7 @@
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
 \<some>                 code: 0x0003f5
+\<newline>              code: 0x0023ce
 \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText
 \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText
 \<^bold>                code: 0x002759  group: control  font: IsabelleText
isabelle