Modified: trunk/dports/math/isabelle-devel/Portfile (39638 => 39639)

--- trunk/dports/math/isabelle-devel/Portfile	2008-08-27 15:21:52 UTC (rev 39638)
+++ trunk/dports/math/isabelle-devel/Portfile	2008-08-27 16:29:31 UTC (rev 39639)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2008-02-23
+version			2008-08-27
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,8 +19,8 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_23-Feb-2008
-checksums		sha1 e52838de933c0160dac48dc779df8f8659ff94d1
+distname		Isabelle_27-Aug-2008
+checksums		sha1 41ca5d96b59dc7d71b0ac1c72b5be0a56dd813c0
 patchfiles		patch-etc-settings.diff
 
 depends_lib		port:polyml