diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/generic/proof.el b/generic/proof.el index 4b295248..309f9b6a 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -70,9 +70,6 @@ output format.") ;; Proof mode variables ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(defconst proof-info-dir "/usr/local/share/info" - "Directory to search for Info documents on Script Management.") - (defconst proof-universal-keys (list (cons '[(control c) (control c)] 'proof-interrupt-process) (cons '[(control c) (control v)] @@ -1922,11 +1919,6 @@ current command." (push (cons major-mode 'fume-match-find-next-function-name) fume-find-function-name-method-alist)) - ;; Info - (or (memq proof-info-dir Info-default-directory-list) - (setq Info-default-directory-list - (cons proof-info-dir Info-default-directory-list))) - ;; keymaps and menus (easy-menu-add proof-mode-menu proof-mode-map) |