diff options
| author | Makarius Wenzel | 1999-08-25 19:15:41 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-25 19:15:41 +0000 |
| commit | d6648209d0e27120a96b6b2f4752551522a2024f (patch) | |
| tree | 7ddfdf31043739ff0ffbaafc78104b21cbe100cf | |
| parent | 0060dc4a4758861cb14be056ce186cb278bd391c (diff) | |
added qed_spec_mp;
| -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" |