--- 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