diff options
| author | Clément Pit-Claudel | 2019-04-18 19:20:35 +0000 |
|---|---|---|
| committer | GitHub | 2019-04-18 19:20:35 +0000 |
| commit | 612eac576472f405fc64af98d1f1c5a13cd5fb0a (patch) | |
| tree | cddb7f72e9f97a794a7b0ddcacea4ba07eef41a7 /generic | |
| parent | 8f90ac961c22099a615c03ed07576aaef820e06d (diff) | |
| parent | 99e47d394539da4cb5a7b4c628831ed1e41adcd1 (diff) | |
Merge pull request #419 from bbarenblat/master
Derive proof-mode from prog-mode
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}" |