From 46d7edd122c3f37a64a81313580f4f192beb7f5b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 2009 18:45:53 +0000
Subject: Comments

---
 coq/coq.el | 2 --
 1 file changed, 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 9ac70098..71d8c20f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -955,8 +955,6 @@ To be used in `proof-shell-classify-output-system-specific'. "
   (proof-string-match-safe "[0-9]+ subgoals?" string)
   )
 
-;; da: trying to understand this stuff -- can you show me some example proofs
-;; that produce output of the kind you want?
 ;; See trac #109
 (defun coq-hybrid-ouput-goals-response (cmd string)
   "Specific function to deal with hybrid response/goal output from coq.
-- 
cgit v1.2.3