diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2003-01-24 12:40:57 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2003-01-24 12:40:57 +0000 |
commit | 927f89b85a3e8a0a565ae1faed08e7fb0b13b3b9 (patch) | |
tree | e3c6f62a5ee1dc4973b4c2611f7f7763ad713720 /coq/coq.el | |
parent | 6a0742a3aafd136a73d5014627d8c5751a788f9d (diff) |
removed some garbage printing in coq/
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 13 |
1 files changed, 0 insertions, 13 deletions
@@ -261,19 +261,6 @@ toplevel \"Coq <\". Returns nil if yes. This assumes that no ;; we need to set the "master reset" command which ;; subsumes the others, but still count the depth. (decf proof-nesting-depth)) - (message "debut") - (message (concat "0=" (match-string 0 str))) - (message (concat "1=" (match-string 1 str))) - (message (concat "2=" (match-string 2 str))) - (message (concat "3=" (match-string 3 str))) - (message (concat "4=" (match-string 4 str))) - (message (concat "5=" (match-string 5 str))) - (message (concat "6=" (match-string 6 str))) - (message (concat "7=" (match-string 7 str))) - (message (concat "8=" (match-string 8 str))) - (message "fin") - - (if (equal (match-string 2 str) "Type") ;Module Type id: take the third word (progn (setq ans (format coq-forget-id-command (match-string 5 str)))) |