The Coq mailing list

[Hendrik Tews <tews AT os.inf.tu-dresden.de>]

Adam Chlipala 
<adamc AT csail.mit.edu>
 writes:

   Just to be clear: Below you're saying that I could give better advice,
   but the existing advice is still accurate, right?  (And it has the
   benefit of working with older Proof General versions.)

Of course. Your advice to modify coq-prog-args is still right and
this approach has to be used for Proof General 4.0 (from Oktober
2010) and older. However, Proof General's support for handling
multiple files (locking ancestors, automatic retraction when an
ancestor is modified) is not available then.

Bye,

Hendrik