The Coq mailing list

[Clément Pit--Claudel <clement.pit AT gmail.com>]

Salut Stefan,

On 01/19/2016 10:31 AM, Stefan Monnier wrote:
> Salut encore Clément,
> 
>> I would love that. I had been discussing it with Stefan. The major
>> roadblocks are:
>> 1. PG needs a bit of cleaning up before it can be packaged (it has its own
>> autoload generation strategy, it vendors mmm-mode, `require`-ing certain of
>> its files crashes it unless some other commands are run, etc.)
>> 2. We need to collect paperwork from contributors.
> 
>> IMHO (1) is much trickier than (2).
> 
> If you take care of (2), I'll take care of (1).

Deal :)

Attachment: signature.asc
Description: OpenPGP digital signature