diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-04-18 14:13:16 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-04-18 14:13:16 -0400 |
| commit | 99e47d394539da4cb5a7b4c628831ed1e41adcd1 (patch) | |
| tree | cddb7f72e9f97a794a7b0ddcacea4ba07eef41a7 | |
| parent | 8f90ac961c22099a615c03ed07576aaef820e06d (diff) | |
prog-mode [1] is the base mode for programming that comes with Emacs:
“All major modes for programming languages should derive from this mode
so that users can put generic customization on prog-mode-hook.” Make
proof-mode derive from prog-mode, reflecting its status as a programming
mode.
[1] a18336a8dc754fa1c68e16dd8009466cf409271b">https://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/progmodes/prog-mode.el?id=a18336a8dc754fa1c68e16dd8009466cf409271b
| -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}" |