aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--generic/proof-script.el2
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}"