--- a/lib/Tools/console Tue Dec 29 14:58:15 2015 +0100
+++ b/lib/Tools/console Tue Dec 29 15:05:08 2015 +0100
@@ -44,7 +44,7 @@
# options
-declare -a ISABELLE_OPTIONS=()
+declare -a ISABELLE_OPTIONS=(-m ASCII)
declare -a INCLUDE_DIRS=()
LOGIC="$ISABELLE_LOGIC"