diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 18:45:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 18:45:53 +0000 |
commit | 46d7edd122c3f37a64a81313580f4f192beb7f5b (patch) | |
tree | 70d30daf0292ddd706cef58fdb103e1da6f14615 /coq | |
parent | 875e1aa9cbf134649927da585ff357177ecdc9f8 (diff) |
Comments
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -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. |