# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1443804598 14400
# Node ID f874c163f5e002c1194473569d7f2523d0de0660
# Parent  429e95d23b26dde3e3b8fe79c2a53a488603e045
Mention _CoqProject

diff -r 429e95d23b26 -r f874c163f5e0 src/Large.v
--- a/src/Large.v	Sat Sep 19 07:44:42 2015 -0400
+++ b/src/Large.v	Fri Oct 02 12:49:58 2015 -0400
@@ -878,4 +878,6 @@
 >>
 
    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.
 *)