etc/isar-keywords.el
changeset 18552 30911da9fb27
parent 18541 00890455e95f
child 18612 7300f75028dc
equal deleted inserted replaced
18551:be0705186ff5 18552:30911da9fb27
    34     "by"
    34     "by"
    35     "cannot_undo"
    35     "cannot_undo"
    36     "case"
    36     "case"
    37     "cd"
    37     "cd"
    38     "chapter"
    38     "chapter"
    39     "class_class"
    39     "class"
    40     "classes"
    40     "classes"
    41     "classrel"
    41     "classrel"
    42     "clear_undos"
    42     "clear_undos"
    43     "code_alias"
    43     "code_alias"
    44     "code_class"
    44     "code_class"
   363   '("ML_setup"
   363   '("ML_setup"
   364     "arities"
   364     "arities"
   365     "automaton"
   365     "automaton"
   366     "axclass"
   366     "axclass"
   367     "axioms"
   367     "axioms"
   368     "class_class"
   368     "class"
   369     "classes"
   369     "classes"
   370     "classrel"
   370     "classrel"
   371     "code_alias"
   371     "code_alias"
   372     "code_class"
   372     "code_class"
   373     "code_generate"
   373     "code_generate"