From 2cd8b2cd5cb166c46a1b76cd527d1b98d778ec9e Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 5 May 2011 09:18:23 +0000
Subject: - flushed proof-done-advancing-require-function and  
 proof-shell-require-command-regexp - TAGS updated to really flush them

---
 coq/coq.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 4564a449..fc137c28 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -955,9 +955,6 @@ This is specific to `coq-mode'."
 ;;
 
 ;; TODO list:
-;; - proof-done-advancing-require-function and
-;;   proof-shell-require-command-regexp seem to have been only used for coq,
-;;   maybe delete them
 ;; - Bug: undo in locked ancestor
 ;; - Bug: never stopping busy cursor
 ;; - modify behavior of locked ancestors, see proof-span-read-only
@@ -970,7 +967,10 @@ This is specific to `coq-mode'."
 ;; - defpacustom customization groups
 ;;   (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html)
 ;; - broken pg cache (http://proofgeneral.inf.ed.ac.uk/trac/ticket/395)
-
+;; - do not kill coqtop when unlocking ancestors
+;;   (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000138.html)
+;; - don't move point in invisible scripting buffer
+;;   (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000139.html)
 ;; user options and variables
 
 (defgroup coq-auto-compile ()
-- 
cgit v1.2.3