1.1 --- a/NEWS	Fri Jan 07 09:41:48 2011 +0100
     1.2 +++ b/NEWS	Fri Jan 07 10:28:45 2011 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4    \usepackage[utf8]{inputenc}
     1.5    \usepackage{textcomp}
     1.6  
     1.7 -* Explicit treatment of UTF8 sequences as Isabelle symbols, such that
     1.8 +* Explicit treatment of UTF-8 sequences as Isabelle symbols, such that
     1.9  a Unicode character is treated as a single symbol, not a sequence of
    1.10  non-ASCII bytes as before.  Since Isabelle/ML string literals may
    1.11  contain symbols without further backslash escapes, Unicode can now be
    1.12 @@ -69,7 +69,7 @@
    1.13    Thy_Output.source             thy_output_source
    1.14    Thy_Output.break              thy_output_break
    1.15  
    1.16 -Note that corresponding "..._default" references in ML may be only
    1.17 +Note that corresponding "..._default" references in ML may only be
    1.18  changed globally at the ROOT session setup, but *not* within a theory.
    1.19  The option "show_abbrevs" supersedes the former print mode
    1.20  "no_abbrevs" with inverted meaning.
    1.21 @@ -764,7 +764,7 @@
    1.22  *** System ***
    1.23  
    1.24  * The IsabelleText font now includes Cyrillic, Hebrew, Arabic from
    1.25 -DajaVu Sans.
    1.26 +DejaVu Sans.
    1.27  
    1.28  * Discontinued support for Poly/ML 5.0 and 5.1 versions.
    1.29