changeset 56618 | 874bdedb2313 |
parent 56275 | 600f432ab556 |
child 57415 | e721124f1b1e |
--- a/etc/isar-keywords-ZF.el Thu Apr 17 14:52:23 2014 +0200 +++ b/etc/isar-keywords-ZF.el Sat Apr 19 17:23:05 2014 +0200 @@ -20,7 +20,9 @@ "ProofGeneral\\.process_pgip" "ProofGeneral\\.restart" "ProofGeneral\\.undo" + "SML_export" "SML_file" + "SML_import" "abbreviation" "also" "apply" @@ -345,7 +347,9 @@ (defconst isar-keywords-theory-decl '("ML" "ML_file" + "SML_export" "SML_file" + "SML_import" "abbreviation" "attribute_setup" "axiomatization"