diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index 832bdc80..b0963f51 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -133,7 +133,7 @@ of the proof (starting from 1).") proof-utils proof-syntax proof-system _pkg pg-user proof-x-symbol pg-thymodes pg-autotest ;; - isar-syntax isar-find-theorems x-symbol-isabelle x-symbol-isar + isar-syntax isar-find-theorems x-symbol-isar isar-autotest interface-setup isabelle-system isar isar-mmm isar-keywords ;; |