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/isar-keywords.el
changeset 16771 2b534c5b5625
parent 16701 abd0abd66387
child 17091 13593aa6a546
equal deleted inserted replaced
16770:1f1b1fae30e4 16771:2b534c5b5625 
   198 (defconst isar-keywords-minor
 
   198 (defconst isar-keywords-minor
 
   199   '("actions"
 
   199   '("actions"
 
   200     "advanced"
 
   200     "advanced"
 
   201     "and"
 
   201     "and"
 
   202     "assumes"
 
   202     "assumes"
 
       
   203     "attach"
 
   203     "begin"
 
   204     "begin"
 
   204     "binder"
 
   205     "binder"
 
   205     "compose"
 
   206     "compose"
 
   206     "concl"
 
   207     "concl"
 
   207     "congs"
 
   208     "congs"
isabelle