NEWS

--- a/NEWS	Sun Nov 20 19:08:14 2016 +0100
+++ b/NEWS	Sun Nov 20 20:12:42 2016 +0100
@@ -95,7 +95,7 @@
 * Highlighting of entity def/ref positions wrt. cursor.
 
 * Action "isabelle.select-entity" (shortcut CS+ENTER) selects all
-occurences of the formal entity at the caret position. This facilitates
+occurrences of the formal entity at the caret position. This facilitates
 systematic renaming.
 
 * PIDE document markup works across multiple Isar commands, e.g. the