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 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. Bye, Hendrik 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 ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel