diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2006-09-25 17:04:32 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2006-09-25 17:04:32 +0000 |
commit | 20a015dc14428774fc0feb4edbeb640e17cb6b00 (patch) | |
tree | 7a27da44e859b9e41aa13ff91f7b126b380d2acf /coq/coq.el | |
parent | f8bca90f071098530612761cf04c1d9963c381aa (diff) |
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.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |