most recent changes, diff for isabelle-devel
Index: math/isabelle-devel/Portfile
--- math/isabelle-devel/Portfile (revision 34413)
+++ math/isabelle-devel/Portfile (revision 34414)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2008-02-15
+version 2008-02-23
categories math lang ml
platforms darwin
maintainers mww
@@ -19,8 +19,8 @@
homepage http://isabelle.in.tum.de/
master_sites ${homepage}/devel/
-distname Isabelle_15-Feb-2008
-checksums sha1 b7c95ec96c077fb8355a73477e1ac3d9bd7c86b6
+distname Isabelle_23-Feb-2008
+checksums sha1 e52838de933c0160dac48dc779df8f8659ff94d1
patchfiles patch-etc-settings.diff
depends_lib port:polyml