From 84984e102e316c0ad201ed6bc6fb7236a8507584 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 10 Jan 2012 11:46:16 +0000
Subject: Support proof-shell-interactive-prompt-regexp, ref Trac #430

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

diff --git a/coq/coq.el b/coq/coq.el
index 7e547d68..8ef90c08 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1287,6 +1287,8 @@ This is specific to `coq-mode'."
    "\376\\|\\[Reinterning\\|Warning:\\|TcDebug "
    proof-shell-eager-annotation-start-length 12
 
+   proof-shell-interactive-prompt-regexp "TcDebug "
+
    ;; ****** is added at the end of warnings in emacs mode, this is temporary I
    ;;        want xml like tags, and I want them removed before warning display.
    ;; I want the same for errors -> pgip
-- 
cgit v1.2.3