[51823] trunk/dports/PortIndex

[portindex at macports.org]

Revision: 51823
          http://trac.macports.org/changeset/51823
Author:   portindex at macports.org
Date:     2009-06-04 00:53:41 -0700 (Thu, 04 Jun 2009)
Log Message:
-----------

Total number of ports parsed:	5829 
Ports successfully parsed:	5829	 
Ports failed:			0

Modified Paths:
--------------
    trunk/dports/PortIndex

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-06-04 07:36:17 UTC (rev 51822)
+++ trunk/dports/PortIndex	2009-06-04 07:53:41 UTC (rev 51823)
@@ -4615,7 +4615,7 @@
 igraph 365
 variants universal portdir math/igraph description {high performance graph library for C} homepage http://cneurocvs.rmki.kfki.hu/igraph/ epoch 0 platforms darwin name igraph long_description {high performance graph library, primarily aimed at complex network research and analysis.} maintainers {snc openmaintainer} categories {math devel} version 0.5.1 revision 0
 isabelle 731
-variants universal portdir math/isabelle description {Isabelle is a popular generic theorem proving environment.} homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 platforms darwin name isabelle depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2008 revision 0
+variants universal portdir math/isabelle description {Isabelle is a popular generic theorem proving environment.} homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 platforms darwin name isabelle depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2009 revision 0
 isabelle-devel 797
 variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2008 release.} maintainers mww categories {math lang ml} version 2008-09-11 revision 0
 itl 720
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090604/36dcb384/attachment.html>