lib/Tools/console

--- a/lib/Tools/console	Tue Sep 08 15:37:13 2015 +0200
+++ b/lib/Tools/console	Tue Sep 08 17:34:46 2015 +0200
@@ -4,6 +4,20 @@
 #
 # DESCRIPTION: run Isabelle process with raw ML console and line editor
 
+## settings
+
+case "$ISABELLE_JAVA_PLATFORM" in
+  x86-*)
+    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS32"
+    ;;
+  x86_64-*)
+    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS64"
+    ;;
+esac
+
+
+## diagnostics
+
 PRG="$(basename "$0")"
 
 function usage()