diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2013-07-22 12:21:13 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2013-07-22 12:21:13 +0000 |
commit | 41b24ac9992a164382597bbc5a268a36aec667f4 (patch) | |
tree | 89f5d49afbde88838ac6e4e5beb6d0044f5b873a /coq/coq-abbrev.el | |
parent | 0f69ff683ea5da34b93effe8ca47093e58398ade (diff) |
Fixing coq project file parsing + moved project options.
Diffstat (limited to 'coq/coq-abbrev.el')
-rw-r--r-- | coq/coq-abbrev.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index b060a101..2dcead62 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -75,6 +75,7 @@ (coq-install-abbrevs)) ;;;;; + ;; The coq menu partly built from tables ;; Common part (scrit, response and goals buffers) @@ -209,6 +210,10 @@ :selected (and (boundp 'abbrev-mode) abbrev-mode)]) "" ("COQ PROG (ARGS)" + ["Use project file" coq-toggle-use-project-file + :style toggle + :selected (and (boundp 'coq-use-project-file) coq-use-project-file) + ] ["Set Coq Prog *persistently*" coq-ask-insert-coq-prog-name t] ["help" coq-local-vars-list-show-doc t] ["Compile" coq-Compile t])))) |