Hi,
I don't have the knowledge to join the discussion about the
relative benefits of different emacs package distribution
systems.
I once made significant contributions on PG and will join
whatever the active majority here decides.
At some stage I also prepared a PG debian packages - this was
Hi pg-devel folks,
TL;DR: Please get in touch with me if you've made significant contributions to
the PG source code (> 10 lines total); we need an FSF copyright assignment from
you to include PG in Emacs.
Pierre and I, and Stefan, are looking for ways to make Proof General easier to
install