[28448] trunk/dports/math/isabelle/Portfile

[source_changes at macosforge.org]

Revision: 28448
          http://trac.macosforge.org/projects/macports/changeset/28448
Author:   mww at macports.org
Date:     2007-08-31 05:40:22 -0700 (Fri, 31 Aug 2007)

Log Message:
-----------
add 'ml' category

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

Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile	2007-08-31 12:38:13 UTC (rev 28447)
+++ trunk/dports/math/isabelle/Portfile	2007-08-31 12:40:22 UTC (rev 28448)
@@ -4,7 +4,7 @@
 name              isabelle
 version           2004
 revision 	  2
-categories        lang
+categories        lang ml
 maintainers       dem5302 at cs.rit.edu
 description       Isabelle is a popular generic theorem proving environment.
 long_description  Isabelle is a generic proof assistant. It allows mathematical \

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