diff -r ebfa4bb0d50f -r 4df49260bd82 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Tue Apr 20 11:26:25 2010 +0200
+++ b/lib/scripts/isabelle-platform	Tue Apr 20 11:31:14 2010 +0200
@@ -26,6 +26,10 @@
           ISABELLE_PLATFORM64=x86_64-darwin
         fi
         ;;
+      x86_64)
+        ISABELLE_PLATFORM=x86-darwin
+        ISABELLE_PLATFORM64=x86_64-darwin
+        ;;
       Power* | power* | ppc)
         ISABELLE_PLATFORM=ppc-darwin
         ;;
@@ -33,7 +37,7 @@
     ;;
   CYGWIN_NT*)
     case $(uname -m) in
-      i?86)
+      i?86 | x86_64)
         ISABELLE_PLATFORM=x86-cygwin
         ;;
     esac
@@ -45,7 +49,7 @@
           sparc)
             ISABELLE_PLATFORM=sparc-solaris
             ;;
-          i?86)
+          i?86 | x86_64)
             ISABELLE_PLATFORM=x86-solaris
             ;;
         esac
@@ -54,7 +58,7 @@
     ;;
   FreeBSD|NetBSD)
     case $(uname -m) in
-      i?86)
+      i?86 | x86_64)
         ISABELLE_PLATFORM=x86-bsd
         ;;
     esac