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
You mean in the Proof General distribution, not in the Coq
> Hendrik Tews <t...@os.inf.tu-dresden.de> 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.
ProofGeneral-devel mailing list