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
distribution system.


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

Reply via email to