isabelle console: print mode "ASCII";
authorwenzelm
Tue Dec 29 15:05:08 2015 +0100 (2015-12-29 ago)
changeset 619580a5dd617a88c
parent 61957 301833d9013a
child 61959 364007370bb7
isabelle console: print mode "ASCII";
NEWS
lib/Tools/console
     1.1 --- a/NEWS	Tue Dec 29 14:58:15 2015 +0100
     1.2 +++ b/NEWS	Tue Dec 29 15:05:08 2015 +0100
     1.3 @@ -26,6 +26,11 @@
     1.4  form "\<comment> text". Command-line tool "isabelle update_cartouches -c" helps
     1.5  to update old sources.
     1.6  
     1.7 +* Former "xsymbols" syntax with Isabelle symbols is used by default,
     1.8 +without any special print mode. Important ASCII replacement syntax
     1.9 +remains available under print mode "ASCII", but less important syntax
    1.10 +has been removed (see below).
    1.11 +
    1.12  
    1.13  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.14  
    1.15 @@ -375,11 +380,6 @@
    1.16  
    1.17  *** HOL ***
    1.18  
    1.19 -* Former "xsymbols" syntax with Isabelle symbols is used by default,
    1.20 -without any special print mode. Important ASCII replacement syntax
    1.21 -remains available under print mode "ASCII", but less important syntax
    1.22 -has been removed (see below).
    1.23 -
    1.24  * Combinator to represent case distinction on products is named "case_prod",
    1.25  uniformly, discontinuing any input aliasses.  Very popular theorem aliasses
    1.26  have been retained.
    1.27 @@ -694,6 +694,8 @@
    1.28  
    1.29  *** System ***
    1.30  
    1.31 +* Command-line tool "isabelle console" enables print mode "ASCII".
    1.32 +
    1.33  * Global session timeout is multiplied by timeout_scale factor. This
    1.34  allows to adjust large-scale tests (e.g. AFP) to overall hardware
    1.35  performance.
     2.1 --- a/lib/Tools/console	Tue Dec 29 14:58:15 2015 +0100
     2.2 +++ b/lib/Tools/console	Tue Dec 29 15:05:08 2015 +0100
     2.3 @@ -44,7 +44,7 @@
     2.4  
     2.5  # options
     2.6  
     2.7 -declare -a ISABELLE_OPTIONS=()
     2.8 +declare -a ISABELLE_OPTIONS=(-m ASCII)
     2.9  
    2.10  declare -a INCLUDE_DIRS=()
    2.11  LOGIC="$ISABELLE_LOGIC"