etc/isar-keywords.el
changeset 54627 8dd1a354ee86
parent 54447 019394de2b41
child 54896 f6f455df1034
equal deleted inserted replaced
54626:8a5e82425e55 54627:8dd1a354ee86
   342     "keywords"
   342     "keywords"
   343     "lazy"
   343     "lazy"
   344     "module_name"
   344     "module_name"
   345     "monos"
   345     "monos"
   346     "morphisms"
   346     "morphisms"
   347     "no_discs_sels"
       
   348     "notes"
   347     "notes"
   349     "obtains"
   348     "obtains"
   350     "open"
   349     "open"
   351     "output"
   350     "output"
   352     "overloaded"
   351     "overloaded"
   353     "parametric"
   352     "parametric"
   354     "permissive"
   353     "permissive"
   355     "pervasive"
   354     "pervasive"
   356     "rep_compat"
       
   357     "shows"
   355     "shows"
   358     "structure"
   356     "structure"
   359     "type_class"
   357     "type_class"
   360     "type_constructor"
   358     "type_constructor"
   361     "unchecked"
   359     "unchecked"