Started the coq-insert-tactic.

1 files changed, 6 insertions, 6 deletions

diff --git a/lib/local-vars-list.el b/lib/local-vars-list.el
index 7038ebf9..a79a870f 100644
--- a/lib/local-vars-list.el
+++ b/lib/local-vars-list.el
@@ -118,15 +118,10 @@ variable definition (or at the \"End:\" line)."
       (search-forward lpat eol)
       (re-search-forward "\\([^ :]+\\):" eol)
       (let ((varname (match-string 1)))
-	(message "varname = %s" varname)
 	(cond 
 	 ((string-equal varname "End") (setq endreached t) (beginning-of-line))
 	 ((string-equal varname symbname) (setq found t))
-	 (t (forward-line 1) (beginning-of-line))
-	 ))
-      (message "found %s" found)
-      (message "endreached %s" endreached)
-      )
+	 (t (forward-line 1) (beginning-of-line)))))
     (if found t nil)))
 
 
@@ -192,6 +187,11 @@ Raises an error if symb is not in the list."
       (beginning-of-line)
       (local-vars-list-get-current lpat rpat))))
 
+(defun local-vars-list-get-safe (symb)
+  "Return true if variable SYMB belongs to the local variable list of the current
+buffer."
+  (condition-case nil (local-vars-list-get symb) (error nil)))
+
 (defun local-vars-list-set (symb val)
   "Write the value val in the local variable list for variable symb.
 If the variable is already specified in the list, replace the value. If no local