The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

Hi there, indeed some people war willing to make a melpa package for proofgeneral. It may be out during summer, hopefully.

Meanwhile the current cvs version of pg is pretty stable and you should not need to update it for a while.

Best regards,

Pierre

2015-07-10 0:45 GMT+02:00 Vadim Zaliva <vzaliva AT cmu.edu>:

On Jul 9, 2015, at 13:34 , Kenneth Adam Miller <kennethadammiller AT gmail.com> wrote:

I could write an opam file for it. I think it would be suitable, but I think that there are aptitude, and emacs package descriptions for it as well, and together it's confusing which route to take and all...

I am not sure OPAM is the best way to manage EMACS packages.

I recently started using this repo: http://melpa.org/ which contains ‘company-coq’ package which should be dependent on PG, but

PG itself is not included there. Ideally PG should be added there.

Sincerely,
Vadim Zaliva

--

CMU ECE PhD candidate

Mobile: +1(510)220-1060

Skype: vzaliva