Skip to content

C
cpdt
Commit ce3e5741 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Mention _CoqProject

parent 5c49bc12
Show whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
src/Large.v
View file @ ce3e5741
...@@ -878,4 +878,6 @@ Require Import Lib. ...@@ -878,4 +878,6 @@ Require Import Lib.
>> >>
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. 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.
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.
*) *)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment