most recent changes, diff for proofgeneral

Index: math/ProofGeneral/Portfile --- math/ProofGeneral/Portfile (revision 37353) +++ math/ProofGeneral/Portfile (revision 37354) @@ -6,6 +6,7 @@ version 3.7.1pre080526 categories math maintainers mww +platforms darwin description An emacs mode for interactive prooving long_description The aim of Proof General is to provide powerful \ and configurable interfaces which help user-interaction \