The Coq mailing list

[Stefan Monnier <monnier AT iro.umontreal.ca>]

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


        Stefan