From 4791a7e43e5bb3dba154265abf3caa684663db83 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 19 Mar 2004 12:58:29 +0000 Subject: coq < 8.0 menu and abbrevs. --- coq/coq-syntax.el | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'coq/coq-syntax.el') diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 82d13924..80e0cdb1 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -101,9 +101,17 @@ version of coq by doing 'coqtop -v'." ) (message v7) (setq coq-version-is-V7 t) (setq coq-version-is-V74 nil)) - ((string-match num "\\<8")) + ((string-match num "\\<7.4") + (message v74) + (setq coq-version-is-V74 t) + (setq coq-version-is-V7 t) ) + ((string-match num "\\<8") + (message (concat "falling back to default: " v8)) + (setq coq-version-is-V8 t) + (setq coq-version-is-V7 t) + (setq coq-version-is-V74 t)) (t - (message v8) + (message (concat "falling back to default: " v8)) (setq coq-version-is-V8 t) (setq coq-version-is-V7 t) (setq coq-version-is-V74 t))))))))) -- cgit v1.2.3