etc/isar-keywords-ZF.el
changeset 56618 874bdedb2313
parent 56275 600f432ab556
child 57415 e721124f1b1e
     1.1 --- a/etc/isar-keywords-ZF.el	Thu Apr 17 14:52:23 2014 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Sat Apr 19 17:23:05 2014 +0200
     1.3 @@ -20,7 +20,9 @@
     1.4      "ProofGeneral\\.process_pgip"
     1.5      "ProofGeneral\\.restart"
     1.6      "ProofGeneral\\.undo"
     1.7 +    "SML_export"
     1.8      "SML_file"
     1.9 +    "SML_import"
    1.10      "abbreviation"
    1.11      "also"
    1.12      "apply"
    1.13 @@ -345,7 +347,9 @@
    1.14  (defconst isar-keywords-theory-decl
    1.15    '("ML"
    1.16      "ML_file"
    1.17 +    "SML_export"
    1.18      "SML_file"
    1.19 +    "SML_import"
    1.20      "abbreviation"
    1.21      "attribute_setup"
    1.22      "axiomatization"