From e2ac74a6bcca223394d2db5399394ef0fd445c77 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Aug 2002 10:08:59 +0000
Subject: Add require, fix menu capitalization.

---
 generic/proof-depends.el | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/generic/proof-depends.el b/generic/proof-depends.el
index 07e74774..2c421d4e 100644
--- a/generic/proof-depends.el
+++ b/generic/proof-depends.el
@@ -12,6 +12,8 @@
 ;; within proofs.  Code rewritten by David Aspinall.
 ;; 
 
+(require 'span)
+
 ;; Variables
 
 (defvar proof-thm-names-of-files nil
@@ -117,23 +119,23 @@ proof-last-theorem-dependencies is set."
   "Make a portion of a context-sensitive menu showing proof dependencies." 
   (list
    "-------------"
-   (proof-dep-make-submenu "Local dependency..."
+   (proof-dep-make-submenu "Local Dependency..."
 			   (lambda (namespan) (car namespan))
 			   'proof-goto-dependency
 			   (span-property span 'dependencies-within-file))
-   (proof-make-highlight-depts-menu "Highlight dependencies"
+   (proof-make-highlight-depts-menu "Highlight Dependencies"
 				    'proof-highlight-depcs
 				    span 'dependencies-within-file)
-   (proof-dep-make-submenu "Local dependents..."
+   (proof-dep-make-submenu "Local Dependents..."
 			   (lambda (namepos) (car namepos))
 			   'proof-goto-dependency
 			   (span-property span 'dependents))
-   (proof-make-highlight-depts-menu "Highlight dependents"
+   (proof-make-highlight-depts-menu "Highlight Dependents"
 				    'proof-highlight-depts
 				    span 'dependents)
    ["Unhighlight all" proof-dep-unhighlight t]
    "-------------"
-   (proof-dep-make-submenu "All dependencies..." 
+   (proof-dep-make-submenu "All Dependencies..." 
 			   (lambda (name) (car name))
 			   'proof-show-dependency 
 			   (mapcar 'list (span-property span 'dependencies)))))
-- 
cgit v1.2.3