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 42244 15bba1fb39d1
parent 40444 020c16837866
child 43455 4b4b93672f15 
--- 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