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.
fixed abbrev !! for \<And>;
authorwenzelm
Tue, 23 Jun 2009 21:00:18 +0200
changeset 31779 68eccca7f51c
parent 31778 eb174cfdef1a
child 31780 d78e5cff9a9f
fixed abbrev !! for \<And>;
etc/symbols file | annotate | diff | comparison | revisions 
--- a/etc/symbols	Tue Jun 23 20:14:40 2009 +0200
+++ b/etc/symbols	Tue Jun 23 21:00:18 2009 +0200
@@ -207,7 +207,7 @@
 \<bottom>               code: 0x0022a5  font: Isabelle
 \<top>                  code: 0x0022a4  font: Isabelle
 \<and>                  code: 0x002227  font: Isabelle  abbrev: /\
-\<And>                  code: 0x0022c0  font: Isabelle  abbreb: !!
+\<And>                  code: 0x0022c0  font: Isabelle  abbrev: !!
 \<or>                   code: 0x002228  font: Isabelle  abbrev: \/
 \<Or>                   code: 0x0022c1  font: Isabelle  abbrev: ??
 \<forall>               code: 0x002200  font: Isabelle  abbrev: !
isabelle