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.
avoid immediate completion as ASCII versions that are still used;
authorwenzelm
Tue, 29 Dec 2015 22:41:22 +0100
changeset 61968 e13e70f32407
parent 61967 dd1f0caf2720
child 61969 e01015e49041
avoid immediate completion as ASCII versions that are still used;
etc/abbrevs file | annotate | diff | comparison | revisions 
--- a/etc/abbrevs	Tue Dec 29 22:21:28 2015 +0100
+++ b/etc/abbrevs	Tue Dec 29 22:41:22 2015 +0100
@@ -1,5 +1,7 @@
 (* additional abbreviations for syntactic completion *)
 
 (*prevent replacement of very long arrows*)
+"--->" = "--->"
+"---->" = "---->"
 "----->" = "----->"
 "===>" = "===>"
isabelle