# HG changeset patch
# User krauss
# Date 1294392525 -3600
# Node ID 3e0fc4a54ca1128ee927528d4993e12bff23709e
# Parent  a31c451183e62b3202122d3908f2cbd2a67b66dd
tuned NEWS

diff -r a31c451183e6 -r 3e0fc4a54ca1 NEWS
--- a/NEWS	Fri Jan 07 09:41:48 2011 +0100
+++ b/NEWS	Fri Jan 07 10:28:45 2011 +0100
@@ -15,7 +15,7 @@
   \usepackage[utf8]{inputenc}
   \usepackage{textcomp}
 
-* Explicit treatment of UTF8 sequences as Isabelle symbols, such that
+* Explicit treatment of UTF-8 sequences as Isabelle symbols, such that
 a Unicode character is treated as a single symbol, not a sequence of
 non-ASCII bytes as before.  Since Isabelle/ML string literals may
 contain symbols without further backslash escapes, Unicode can now be
@@ -69,7 +69,7 @@
   Thy_Output.source             thy_output_source
   Thy_Output.break              thy_output_break
 
-Note that corresponding "..._default" references in ML may be only
+Note that corresponding "..._default" references in ML may only be
 changed globally at the ROOT session setup, but *not* within a theory.
 The option "show_abbrevs" supersedes the former print mode
 "no_abbrevs" with inverted meaning.
@@ -764,7 +764,7 @@
 *** System ***
 
 * The IsabelleText font now includes Cyrillic, Hebrew, Arabic from
-DajaVu Sans.
+DejaVu Sans.
 
 * Discontinued support for Poly/ML 5.0 and 5.1 versions.