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-ZF.el
changeset 51293 05b1bbae748d
parent 51270 17d30843fc3b
child 51295 71fc3776c453
equal deleted inserted replaced
51287:8799eadf61fb 51293:05b1bbae748d 
   247     "shows"
 
   247     "shows"
 
   248     "structure"
 
   248     "structure"
 
   249     "type_elims"
 
   249     "type_elims"
 
   250     "type_intros"
 
   250     "type_intros"
 
   251     "unchecked"
 
   251     "unchecked"
 
   252     "uses"
 
       
   253     "where"))
 
   252     "where"))
 
   254 
   253 
   255 (defconst isar-keywords-control
 
   254 (defconst isar-keywords-control
 
   256   '("Isabelle\\.command"
 
   255   '("Isabelle\\.command"
 
   257     "ProofGeneral\\.inform_file_processed"
 
   256     "ProofGeneral\\.inform_file_processed"
isabelle