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 18702 7dc7dcd63224
parent 18612 7300f75028dc
child 18757 f0d901bc0686
equal deleted inserted replaced
18701:98e6a0a011f3 18702:7dc7dcd63224 
   215 (defconst isar-keywords-minor
 
   215 (defconst isar-keywords-minor
 
   216   '("actions"
 
   216   '("actions"
 
   217     "advanced"
 
   217     "advanced"
 
   218     "and"
 
   218     "and"
 
   219     "assumes"
 
   219     "assumes"
 
       
   220     "atom"
 
   220     "attach"
 
   221     "attach"
 
   221     "begin"
 
   222     "begin"
 
   222     "binder"
 
   223     "binder"
 
   223     "compose"
 
   224     "compose"
 
   224     "concl"
 
   225     "concl"
wneuper/isa