diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 13:07:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 13:07:35 +0000 |
| commit | 21a6e2f82355b61aedb9791309a494ba8018fe58 (patch) | |
| tree | 6b65d5a056be7a90037d2d7d028eeb0c3df27a53 | |
| parent | 2a586b8dcf72435e3f60bb3e060c942a25daaf45 (diff) | |
Comment
| -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 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |