On Fri, 09 Sep 2011 11:04:30 +0200, Hendrik Tews <t...@os.inf.tu-dresden.de> 
wrote:
> * With the patch, coq-load-path covers the options -I and 
>   -R ... -as ... With a minor change we will also get -R ...
>   However, -I ... -as ... would still be unsupported.

-R only accepts two options, not a single one.

>   Does anybody use -I ... -as ... ?? Does anybody has an opinion
>   about whether Coq Proof General should support -I ... -as ... ??

I suspect that it isn't worth it. If there are no subdirectories,
-R ... ... and -I ... -as ... have the same effect.

  Tom
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to