Index: Portfile
===================================================================
--- Portfile	(revision 39722)
+++ Portfile	(working copy)
@@ -4,6 +4,7 @@
 
 name			isabelle-devel
 version			2008-08-27
+set my_version		[clock format [clock scan ${version}] -format %d-%b-%Y]
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -18,8 +19,9 @@
 			This version is a development snapshot of the upcoming 2008 release.
 
 homepage		http://isabelle.in.tum.de/
-master_sites		${homepage}/devel/
-distname		Isabelle_27-Aug-2008
+master_sites		${homepage}/devel/ \
+			http://distfiles.macports.org/${dist_subdir}
+distname		Isabelle_${my_version}
 checksums		sha1 41ca5d96b59dc7d71b0ac1c72b5be0a56dd813c0
 patchfiles		patch-etc-settings.diff
 
@@ -47,6 +49,6 @@
 
 livecheck.check	regex
 livecheck.url	${homepage}/devel/
-livecheck.version	${distname}
-livecheck.regex		(Isabelle_\[0-9\]+-\[a-zA-Z\]+-200\[7-9\]).tar.gz
+livecheck.version	${my_version}
+livecheck.regex		(\[0-9\]+-\[a-zA-Z\]+-200\[7-9\])\\.tar\\.gz