# HG changeset patch
# User wenzelm
# Date 1451397908 -3600
# Node ID 0a5dd617a88c64d8bfb6c083162ee74b96a3daa8
# Parent  301833d9013aeb5c5740757241825851a1584c8d
isabelle console: print mode "ASCII";

diff -r 301833d9013a -r 0a5dd617a88c NEWS
--- a/NEWS	Tue Dec 29 14:58:15 2015 +0100
+++ b/NEWS	Tue Dec 29 15:05:08 2015 +0100
@@ -26,6 +26,11 @@
 form "\<comment> text". Command-line tool "isabelle update_cartouches -c" helps
 to update old sources.
 
+* Former "xsymbols" syntax with Isabelle symbols is used by default,
+without any special print mode. Important ASCII replacement syntax
+remains available under print mode "ASCII", but less important syntax
+has been removed (see below).
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
@@ -375,11 +380,6 @@
 
 *** HOL ***
 
-* Former "xsymbols" syntax with Isabelle symbols is used by default,
-without any special print mode. Important ASCII replacement syntax
-remains available under print mode "ASCII", but less important syntax
-has been removed (see below).
-
 * Combinator to represent case distinction on products is named "case_prod",
 uniformly, discontinuing any input aliasses.  Very popular theorem aliasses
 have been retained.
@@ -694,6 +694,8 @@
 
 *** System ***
 
+* Command-line tool "isabelle console" enables print mode "ASCII".
+
 * Global session timeout is multiplied by timeout_scale factor. This
 allows to adjust large-scale tests (e.g. AFP) to overall hardware
 performance.
diff -r 301833d9013a -r 0a5dd617a88c lib/Tools/console
--- 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"