diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 59b7074a..4f2c4a71 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2305,7 +2305,7 @@ query saves here." ;; ;;;###autoload -(define-derived-mode proof-mode fundamental-mode +(define-derived-mode proof-mode prog-mode proof-general-name "Proof General major mode class for proof scripts. \\{proof-mode-map}" |