[31553] distfiles

Tue Nov 27 13:03:51 PST 2007

Revision: 31553
          http://trac.macosforge.org/projects/macports/changeset/31553
Author:   mww at macports.org
Date:     2007-11-27 13:03:50 -0800 (Tue, 27 Nov 2007)

Log Message:
-----------
add distfile for isabelle

Added Paths:
-----------
    distfiles/isabelle/
    distfiles/isabelle/Isabelle2007.tar.gz

Added: distfiles/isabelle/Isabelle2007.tar.gz
===================================================================
(Binary files differ)


Property changes on: distfiles/isabelle/Isabelle2007.tar.gz
___________________________________________________________________
Name: svn:mime-type
   + application/octet-stream

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071127/edec9423/attachment.html