# HG changeset patch
# User wenzelm
# Date 1445279473 -7200
# Node ID d40cbf1f37c980e0d811565843af1dfa6c8d6705
# Parent  f8cb97e0fd0b47c39d507e2a1efa44ab1136eebe
tuned English;

diff -r f8cb97e0fd0b -r d40cbf1f37c9 NEWS
--- a/NEWS	Mon Oct 19 20:29:29 2015 +0200
+++ b/NEWS	Mon Oct 19 20:31:13 2015 +0200
@@ -65,7 +65,7 @@
 
 * HTML presentation uses the standard IsabelleText font and Unicode
 rendering of Isabelle symbols like Isabelle/Scala/jEdit.  The former
-print mode "HTML" looses its special meaning.
+print mode "HTML" loses its special meaning.
 
 * Commands 'paragraph' and 'subparagraph' provide additional section
 headings. Thus there are 6 levels of standard headings, as in HTML.