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.
tuned abbrevs;
authorwenzelm
Fri, 26 Jun 2009 20:54:15 +0200
changeset 31815 52ec1ca1456b
parent 31814 7c122634da81
child 31816 ffaf6dd53045
tuned abbrevs;
etc/symbols file | annotate | diff | comparison | revisions 
--- a/etc/symbols	Fri Jun 26 19:44:39 2009 +0200
+++ b/etc/symbols	Fri Jun 26 20:54:15 2009 +0200
@@ -211,8 +211,8 @@
 \<or>                   code: 0x002228  font: Isabelle  abbrev: \/
 \<Or>                   code: 0x0022c1  font: Isabelle  abbrev: ??
 \<forall>               code: 0x002200  font: Isabelle  abbrev: !
-\<exists>               code: 0x002203  font: Isabelle  abbrev: ?.
-\<nexists>              code: 0x002204  font: Isabelle  abbrev: ?~
+\<exists>               code: 0x002203  font: Isabelle  abbrev: ?
+\<nexists>              code: 0x002204  font: Isabelle  abbrev: ~?
 \<not>                  code: 0x0000ac  font: Isabelle  abbrev: ~
 \<box>                  code: 0x0025a1  font: Isabelle
 \<diamond>              code: 0x0025c7  font: Isabelle
isabelle