From b3a843523cad3e71113a8ac11eaa1e3b5edb4f8c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Aug 2002 23:52:42 +0000
Subject: Small fixes

---
 generic/proof-menu.el | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 763d4e89..ca0cb4e4 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -310,7 +310,7 @@ If in three window or multiple frame mode, display both buffers."
      :active (fboundp 'function-menu)]
     ["Complete Identifier" complete t]
     ["Next Error" proof-next-error
-     :active proof-shell-next-error-regexp])
+     :active pg-next-error-regexp])
   "The Proof General generic menu for scripting buffers.")
 
 
@@ -444,8 +444,7 @@ suitable for adding to the proof assistant menu."
   
 (defun proof-read-favourite ()
   (let* 
-      ((favs   (symbol-value (proof-ass-sym favourites)))
-       (guess  (buffer-substring (save-excursion
+      ((guess  (buffer-substring (save-excursion
 				   (beginning-of-line-text)
 				   (point)) (point)))
        (cmd (read-string
@@ -482,7 +481,7 @@ KEY is the optional key binding."
 		    (lambda (f) (string-equal menuname (caddr f)))
 		    favs))
        (newfavs    (append 
-		    favs 
+		    rmfavs 
 		    (list (list command inscript menuname key)))))
     ;; If def succeeds, add to customize var
     (customize-set-variable  (proof-ass-sym favourites) newfavs)
@@ -543,7 +542,7 @@ the form of the menu entry for the setting.")
 ;;;###autoload
 (defun proof-defpacustom-fn (name val args)
   "As for macro `defpacustom' but evaluation arguments."
-  (let (newargs setting evalform)
+  (let (newargs setting evalform type)
     (while args
       (cond 
        ((eq (car args) :setting)
-- 
cgit v1.2.3