> 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 
prog-args.  Great.

 - D.

ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to