Mercurial Mercurial > repos > isabelle / comparison
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/abbrevs
changeset 61963 2548e7cc86fb
parent 61961 c4cc05200337
child 61968 e13e70f32407
equal deleted inserted replaced
61962:9c8fc56032e3 61963:2548e7cc86fb 
     1 (* additional abbreviations for syntactic completion *)
 
     1 (* additional abbreviations for syntactic completion *)
 
     2 
     2 
     3 (*prevent replacement of very long arrows*)
 
     3 (*prevent replacement of very long arrows*)
 
     4 "--->" = "--->"
 
     4 "----->" = "----->"
 
     5 "===>" = "===>"
 
     5 "===>" = "===>"
isabelle