From 21a6e2f82355b61aedb9791309a494ba8018fe58 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 13:07:35 +0000
Subject: Comment

---
 generic/proof-script.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'generic')

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
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3