diff options
-rw-r--r-- | coq/coq-local-vars.el | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el index ed001679..33246368 100644 --- a/coq/coq-local-vars.el +++ b/coq/coq-local-vars.el @@ -1,17 +1,19 @@ ;;; coq-local-vars.el --- local variable list tools for coq -;; Copyright (C) 1994 - 1998 LFCS Edinburgh. +;; +;; Copyright (C) 2006-2008 LFCS Edinburgh. ;; Authors: Pierre Courtieu ;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr> - +;; ;; $Id$ - - +;; ;;; Commentary: ;; +(eval-when-compile + (defvar coq-prog-name nil) + (defvar coq-prog-args nil) + (defvar coq-version-is-V8-1 nil)) -;;; History: -;; ;;; Code: (defconst coq-local-vars-doc nil |