diff options
| author | David Aspinall | 2004-03-01 17:37:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-01 17:37:41 +0000 |
| commit | 2f35bf11c9a61e703697d45b3dcf0a17f9c3aef7 (patch) | |
| tree | 53e7a357f0b11d3d42441d4fb4e19cb69671b670 | |
| parent | 3a28ccc4d10b5fe6158f8bab766a6c0db5043866 (diff) | |
Cleanup top-level forms (unused x binding)
| -rw-r--r-- | coq/coq-syntax.el | 33 |
1 files changed, 18 insertions, 15 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 6da832c8..09ba5878 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -83,26 +83,29 @@ version of coq by doing 'coqtop -v'." ) (setq coq-version-is-V7 nil)) (t (let* ((str (shell-command-to-string (concat coq-prog-name " -v"))) - (x (string-match "version \\([.0-9]*\\)" str)) - (num (match-string 1 str))) + ;; da: next line not used? + ;;(x (string-match "version \\([.0-9]*\\)" str)) + (num (match-string 1 str))) ;; da: added this to avoid type error in case coq command fails (if (null num) (setq num "")) (cond ((string-match num "\\<6.") - (message v6) - (setq coq-version-is-V7 nil) - (setq coq-version-is-V74 nil)) - ((or (string-match num "\\<7.0") (string-match num "\\<7.1") - (string-match num "\\<7.2") (string-match num "\\<7.3")) - (message v7) - (setq coq-version-is-V7 t) - (setq coq-version-is-V74 nil)) - ((string-match num "\\<8")) + (message v6) + (setq coq-version-is-V7 nil) + (setq coq-version-is-V74 nil)) + ((or (string-match num "\\<7.0") + (string-match num "\\<7.1") + (string-match num "\\<7.2") + (string-match num "\\<7.3")) + (message v7) + (setq coq-version-is-V7 t) + (setq coq-version-is-V74 nil)) + ((string-match num "\\<8")) (t - (message v8) - (setq coq-version-is-V8 t) - (setq coq-version-is-V7 t) - (setq coq-version-is-V74 t)))))))) + (message v8) + (setq coq-version-is-V8 t) + (setq coq-version-is-V7 t) + (setq coq-version-is-V74 t)))))))) ;; ----- keywords for font-lock. |