diff options
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index a6af5a83..69e3c31e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -56,6 +56,8 @@ kill buffer hook. This variable is used when buffer-file-name is nil.") (deflocal pg-script-portions nil "Alist of hash tables for symbols naming processed script portions.") +(defalias 'proof-active-buffer-fake-minor-mode + 'proof-toggle-active-scripting) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |