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 <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.

Bye,

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

Reply via email to