Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
etc/isar-keywords.el
changeset 19633 a6fad1e8bbd2
parent 19564 d3e2f532459a
child 19655 f10b141078e7
equal deleted inserted replaced
19632:21e04f0edd82 19633:a6fad1e8bbd2 
   270     "structure"
 
   270     "structure"
 
   271     "target_atom"
 
   271     "target_atom"
 
   272     "to"
 
   272     "to"
 
   273     "transitions"
 
   273     "transitions"
 
   274     "transrel"
 
   274     "transrel"
 
       
   275     "unchecked"
 
   275     "uses"
 
   276     "uses"
 
   276     "where"))
 
   277     "where"))
 
   277 
   278 
   278 (defconst isar-keywords-control
 
   279 (defconst isar-keywords-control
 
   279   '("ProofGeneral\\.context_thy_only"
 
   280   '("ProofGeneral\\.context_thy_only"
wneuper/isa