[56536] trunk/dports/math

[mww at macports.org]

Revision: 56536
          http://trac.macports.org/changeset/56536
Author:   mww at macports.org
Date:     2009-08-29 13:53:30 -0700 (Sat, 29 Aug 2009)
Log Message:
-----------
add 'license' key

Modified Paths:
--------------
    trunk/dports/math/isabelle/Portfile
    trunk/dports/math/isabelle-devel/Portfile

Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile	2009-08-29 20:49:07 UTC (rev 56535)
+++ trunk/dports/math/isabelle/Portfile	2009-08-29 20:53:30 UTC (rev 56536)
@@ -7,6 +7,7 @@
 categories        math lang ml
 platforms         darwin
 maintainers       mww
+license           BSD
 description       Isabelle is a popular generic theorem proving environment.
 long_description  Isabelle is a generic proof assistant. It allows mathematical \
                   formulas to be expressed in a formal language and provides \

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-08-29 20:49:07 UTC (rev 56535)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-08-29 20:53:30 UTC (rev 56536)
@@ -8,6 +8,7 @@
 categories		math lang ml
 platforms		darwin
 maintainers		mww
+license                 BSD
 description		Isabelle is a popular generic theorem proving environment
 long_description	Isabelle is a generic proof assistant. It allows mathematical \
 			formulas to be expressed in a formal language and provides \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090829/d5f2938b/attachment.html>