#48949: ProofGeneral @ 3.7.1 upgrade to latest? -----------------------------+------------------- Reporter: corwin.amber@… | Owner: mww@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: Port: ProofGeneral | -----------------------------+------------------- Comment (by corwin.amber@…): I can confirm that after the attached change to Portfile, ProofGeneral 4.2 installs and works well for me (with standard MacPorts Emacs). I apologize if the diff is not in the right format or anything. -- Ticket URL: <https://trac.macports.org/ticket/48949#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X