> This sounds wise, and what Pierre originally suggested, although if I've
> followed it seems as if
> that's not compatible with his convention of setting coq-prog-args in file
> local variables.
I looked again, I see you suggested coq-load-path for this already, not
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.