diff -r f37878ebba65 -r 78e03d8bf1c4 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Thu Apr 07 21:27:17 2016 +0200
+++ b/lib/scripts/isabelle-platform	Thu Apr 07 21:39:03 2016 +0200
@@ -4,7 +4,6 @@
 #
 # NOTE: The ML system or JVM may have their own idea about the platform!
 
-ISABELLE_WINDOWS_PREFIX=""
 ISABELLE_PLATFORM_FAMILY=""
 ISABELLE_PLATFORM32=""
 ISABELLE_PLATFORM64=""
@@ -12,7 +11,6 @@
 case $(uname -s) in
   Linux)
     ISABELLE_PLATFORM_FAMILY="linux"
-    ISABELLE_WINDOWS_PREFIX="."
     case $(uname -m) in
       i?86)
         ISABELLE_PLATFORM32=x86-linux
@@ -25,7 +23,6 @@
     ;;
   Darwin)
     ISABELLE_PLATFORM_FAMILY="macos"
-    ISABELLE_WINDOWS_PREFIX="."
     case $(uname -m) in
       i?86)
         ISABELLE_PLATFORM32=x86-darwin
@@ -41,7 +38,6 @@
     ;;
   CYGWIN_NT*)
     ISABELLE_PLATFORM_FAMILY="windows"
-    ISABELLE_WINDOWS_PREFIX="windows"
     case $(uname -m) in
       i?86 | x86_64)
         ISABELLE_PLATFORM32=x86-cygwin