Revision
31748
Author
mww@macports.org
Date
2007-12-05 10:48:00 -0800 (Wed, 05 Dec 2007)

Log Message

distfile for ProofGeneral

Added Paths

Diff

Added: distfiles/ProofGeneral/ProofGeneral-3.7pre071112.tar.gz


(Binary files differ)
Property changes on: distfiles/ProofGeneral/ProofGeneral-3.7pre071112.tar.gz ___________________________________________________________________ Name: svn:mime-type + application/octet-stream