I don't have the knowledge to join the discussion about the
relative benefits of different emacs package distribution
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
significant work, because of some non-standard design decisions
in PG. It would certainly be good if we could move to a standard
This email and any attachments thereto may contain private, confidential,
and/or privileged material for the sole use of the intended recipient. Any
review, copying, or distribution of this email (or any attachments thereto) by
others is strictly prohibited. If you are not the intended recipient, please
contact the sender immediately and permanently delete the original and any
copies of this email and any attachments thereto.
ProofGeneral-devel mailing list