diff options
| -rw-r--r-- | isa/isa-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index e4b77450..de749a36 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -93,7 +93,7 @@ :type '(repeat string)) (defcustom isa-keywords-save - '("qed") + '("qed" "qed_spec_mp") ;; Related commands, but having different types, so PG ;; won't bother support them: ;; "result" "uresult" "bind_thm" "store_thm" |