diff -r 2c9f68fbf047 -r 1ae53588dcbb lib/Tools/console
--- a/lib/Tools/console	Sun Jan 03 17:19:47 2016 +0100
+++ b/lib/Tools/console	Sun Jan 03 21:31:57 2016 +0100
@@ -44,7 +44,7 @@
 
 # options
 
-declare -a ISABELLE_OPTIONS=(-m ASCII)
+declare -a ISABELLE_OPTIONS=()
 
 declare -a INCLUDE_DIRS=()
 LOGIC="$ISABELLE_LOGIC"
@@ -104,6 +104,11 @@
   exit "$?"
 }
 
+if [ "$LOGIC" != "RAW" ]; then
+  ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="-m"
+  ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="ASCII"
+fi
+
 ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="-O"
 ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="$OPTIONS_FILE"