diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e8209f35..5b546b82 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -15,7 +15,6 @@ (require 'span) ; abstraction of overlays/extents (require 'proof) ; loader (& proof-utils macros) (require 'proof-syntax) ; utils for manipulating syntax -;(require 'proof-menu) ; menus for script mode ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |