diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 14:32:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 14:32:56 +0000 |
| commit | d0720d63e598fe64a91e1579df9dc45fde311dba (patch) | |
| tree | eed0cb8a0d32d712624be3ee0ae1d3235bb14b92 /generic/proof.el | |
| parent | 68ffcc6cd4ea9c6053cafc6ca9a42ce78d954742 (diff) | |
Updated.
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 ;; |