diff options
author | 1999-11-16 16:04:01 +0000 | |
---|---|---|
committer | 1999-11-16 16:04:01 +0000 | |
commit | ff971c22fabf3c0d10db6a013f80485a646656ca (patch) | |
tree | f2c99dc7a98a23fe22b81179295fd30be505f492 /coq | |
parent | ad807b2c0f0a68e790ababb67a0a4ac53d29306e (diff) |
Use auto multiple files until something better comes along
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -443,6 +443,8 @@ proof-goal-with-hole-regexp coq-goal-with-hole-regexp proof-indent-commands-regexp (proof-ids-to-regexp coq-keywords)) + (setq proof-auto-multiple-files t) ; until Coq has real support + (coq-init-syntax-table) ;; font-lock |