Pierre Courtieu <pierre.court...@cnam.fr> writes: 2011/1/13 David Aspinall <david.aspin...@ed.ac.uk>
> I suppose Pierre means that you need a way to influence the command line > calculation as you wanted, perhaps with yet another control function/hook or > variable for prog-args (already several added for Coq..). OK, I got it now. prog-args becomes a function and for coq it appends (the value of) coq-prog-args and the contents of coq-load-path (the latter interspersed with -I's). If one of you wants to do this, please do, I am busy enough with other stuff. You might want to use the function coq-include-options. That's exactly what I mean, but i thing Hendrik wants to use Add LoadPath No, restarting coqtop on every buffer change and passing coq-load-path as -I options to coqtop is fine with me. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel