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 symbol abbrevs;
authorwenzelm
Wed, 06 Apr 2011 12:55:53 +0200
changeset 42244 15bba1fb39d1
parent 42243 2f998ff67d0f
child 42245 29e3967550d5
more symbol abbrevs;
etc/symbols file | annotate | diff | comparison | revisions 
--- a/etc/symbols	Wed Apr 06 10:59:43 2011 +0200
+++ b/etc/symbols	Wed Apr 06 12:55:53 2011 +0200
@@ -124,7 +124,7 @@
 \<theta>                code: 0x0003b8  font: Isabelle
 \<iota>                 code: 0x0003b9  font: Isabelle
 \<kappa>                code: 0x0003ba  font: Isabelle
-\<lambda>               code: 0x0003bb  font: Isabelle
+\<lambda>               code: 0x0003bb  font: Isabelle  abbrev: %
 \<mu>                   code: 0x0003bc  font: Isabelle
 \<nu>                   code: 0x0003bd  font: Isabelle
 \<xi>                   code: 0x0003be  font: Isabelle
isabelle