diff options
| author | David Aspinall | 2004-03-01 17:35:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-01 17:35:13 +0000 |
| commit | 865c151988a735837596cefc6c4abfda173db5cc (patch) | |
| tree | c02a26c81d0e295223b404faa1dd35d64ce7ecf2 | |
| parent | b880acd89e79e23d7640a8c72fbb1d886e97dd07 (diff) | |
Fix V7.4 -> V74
| -rw-r--r-- | coq/coq-syntax.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 3922c7fd..6da832c8 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -65,10 +65,10 @@ version of coq by doing 'coqtop -v'." ) (v7 (concat "proofgeneral is in coq > 6 and =< 7.3 mode" seedoc)) (v6 (concat "proofgeneral is in coq V6 mode" seedoc))) (cond - (coq-version-is-V8 + (coq-version-is-V8 (message v8) - (setq coq-version-is-V7.4 t)) - (coq-version-is-V74 + (setq coq-version-is-V74 t)) + (coq-version-is-V74 (message v74) (setq coq-version-is-V8 nil) (setq coq-version-is-V7 t)) |