Pierre Courtieu writes: Date: Fri, 5 Jul 2013 16:04:43 +0200 Subject: Re: [PG-devel] Move to Github I don't mind changing the name of coq.el into pg-coq.el. Will it break something?
You mean in the Proof General distribution, not in the Coq distribution, right? > Hendrik Tews <[email protected]> writes: > > Both Proof General and Coq install coq.el (and some other files > with identical name), which cases trouble, because the feature > name space of Emacs is flat. > > Possible solutions (with decreasing preference for me) are: > > - The defending files are deleted in Coq or are not installed by > the default make install. > > - The files are renamed in the Coq distribution. You don't like these two options? When it comes to renaming, keep in mind, that coq-db.el and coq-syntax.el must be renamed too. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
