[79578] trunk/dports/math

Sun Jun 19 03:23:29 PDT 2011

Revision: 79578
          http://trac.macports.org/changeset/79578
Author:   mww at macports.org
Date:     2011-06-19 03:23:27 -0700 (Sun, 19 Jun 2011)
Log Message:
-----------
remove isabelle ports -- heavily outdated

Removed Paths:
-------------
    trunk/dports/math/isabelle/
    trunk/dports/math/isabelle-devel/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110619/d8326a6e/attachment.html>