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.