Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more abbrevs according to Isabelle/HOL ASCII replacement syntax;
authorwenzelm
Sat, 31 Aug 2013 13:05:04 +0200
changeset 53344 9a5eaa6b0154
parent 53343 8dc406adbc75
child 53345 8c333d659e8f
more abbrevs according to Isabelle/HOL ASCII replacement syntax;
etc/symbols file | annotate | diff | comparison | revisions 
--- a/etc/symbols	Sat Aug 31 12:53:39 2013 +0200
+++ b/etc/symbols	Sat Aug 31 13:05:04 2013 +0200
@@ -241,9 +241,9 @@
 \<sqsubseteq>           code: 0x002291  group: relation  abbrev: [=
 \<sqsupseteq>           code: 0x002292  group: relation  abbrev: ]=
 \<inter>                code: 0x002229  group: operator  abbrev: Int
-\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter
+\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter  abbrev: INT
 \<union>                code: 0x00222a  group: operator  abbrev: Un
-\<Union>                code: 0x0022c3  group: operator  abbrev: Union
+\<Union>                code: 0x0022c3  group: operator  abbrev: Union  abbrev: UN
 \<squnion>              code: 0x002294  group: operator
 \<Squnion>              code: 0x002a06  group: operator  abbrev: SUP
 \<sqinter>              code: 0x002293  group: operator
isabelle