From 20a015dc14428774fc0feb4edbeb640e17cb6b00 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 25 Sep 2006 17:04:32 +0000
Subject: Added \x6 as a possible wakeup char for coq. For the moment this
 special char is used when the -emacs-U is used (with or instead of -emacs) in
 cvs version of coq of today 25/9/2006.

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

diff --git a/coq/coq.el b/coq/coq.el
index feafec6b..1c81b8cc 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -922,7 +922,7 @@ This is specific to `coq-mode'."
    proof-shell-interrupt-regexp coq-interrupt-regexp
    proof-shell-assumption-regexp coq-id
    pg-subterm-first-special-char ?\360
-   proof-shell-wakeup-char ?\371 ; done: prompt
+   proof-shell-wakeup-char nil ; ?\x6 ;?\371 ; done: prompt
    ;; The next three represent path annotation information
    pg-subterm-start-char ?\372 ; not done
    pg-subterm-sep-char ?\373 ; not done
-- 
cgit v1.2.3