Mercurial > cpdt > repo
comparison src/Large.v @ 542:f874c163f5e0
Mention _CoqProject
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:49:58 -0400 |
parents | dac7a2705b00 |
children | 1dc1d41620b6 |
comparison
equal
deleted
inserted
replaced
541:429e95d23b26 | 542:f874c163f5e0 |
---|---|
876 ((coq-mode . ((coq-prog-args . | 876 ((coq-mode . ((coq-prog-args . |
877 ("-emacs-U" "-R" "LIB" "Lib" "-R" "CLIENT" "Client"))))) | 877 ("-emacs-U" "-R" "LIB" "Lib" "-R" "CLIENT" "Client"))))) |
878 >> | 878 >> |
879 | 879 |
880 A downside of this approach is that users of your code may not want to trust the arbitrary Emacs Lisp programs that you are allowed to place in such files, so that they prefer to add mappings manually. | 880 A downside of this approach is that users of your code may not want to trust the arbitrary Emacs Lisp programs that you are allowed to place in such files, so that they prefer to add mappings manually. |
881 | |
882 Relatively recent versions of Coq support another, more principled approach to all this. A project's list of settings and source files may be saved in a single file named <<_CoqProject>>, which is processed uniformly by recent enough versions of <<coq_makefile>>, Proof General, and CoqIDE. For details, see the Coq manual. | |
881 *) | 883 *) |