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 52143 36ffe23b25f8
parent 52142 348aed032cda
child 52430 289e36c2870a
equal deleted inserted replaced
52142:348aed032cda 52143:36ffe23b25f8 
   301     "write"
 
   301     "write"
 
   302     "{"
 
   302     "{"
 
   303     "}"))
 
   303     "}"))
 
   304 
   304 
   305 (defconst isar-keywords-minor
 
   305 (defconst isar-keywords-minor
 
   306   '("advanced"
 
   306   '("and"
 
   307     "and"
 
       
   308     "assumes"
 
   307     "assumes"
 
   309     "attach"
 
   308     "attach"
 
   310     "avoids"
 
   309     "avoids"
 
   311     "begin"
 
   310     "begin"
 
   312     "binder"
 
   311     "binder"
isabelle