Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
etc/symbols
2011-06-21
wenzelm
some arrow symbols from DejaVuSansMono for bsub/esub/bsup/esup;
file
|
diff
|
annotate
2011-06-20
wenzelm
removed obsolete font specification;
file
|
diff
|
annotate
2011-06-19
wenzelm
abbreviations for special control symbols;
file
|
diff
|
annotate
2011-06-19
wenzelm
some unicode chars for special control symbols;
file
|
diff
|
annotate
2011-04-06
wenzelm
more symbol abbrevs;
file
|
diff
|
annotate
2010-11-08
wenzelm
avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
file
|
diff
|
annotate
2010-05-31
wenzelm
tuned abbrevs for long arrows, according to usual ASCII syntax;
file
|
diff
|
annotate
2009-10-29
wenzelm
removed slightly exotic symbol abbreviations for now -- achieves a coherent (unique) mapping;
file
|
diff
|
annotate
2009-10-22
tbourke
Fix a duplicate abbreviation || in etc/symbols.
file
|
diff
|
annotate
2009-06-26
wenzelm
tuned abbrevs;
file
|
diff
|
annotate
2009-06-23
wenzelm
fixed abbrev !! for \<And>;
file
|
diff
|
annotate
2008-12-20
wenzelm
removed Ids;
file
|
diff
|
annotate
2008-08-24
wenzelm
activated \<A>, \<a>, \<AA>, \<aa>;
file
|
diff
|
annotate
2008-08-16
wenzelm
tuned abbrevs;
file
|
diff
|
annotate
2008-08-15
wenzelm
added some abbrevs;
file
|
diff
|
annotate
2008-08-15
wenzelm
removed redundant "symbol" property;
file
|
diff
|
annotate
2008-08-15
wenzelm
Default interpretation of some Isabelle symbols.
file
|
diff
|
annotate
less
more
(0)
tip