On Fri, 09 Sep 2011 11:04:30 +0200, Hendrik Tews <[email protected]> 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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
