NEWS
changeset 64514 27914a4f8c70
parent 64457 f7aa4d0f7d02
child 64523 49a29161d8ef
     1.1 --- a/NEWS	Sun Nov 20 19:08:14 2016 +0100
     1.2 +++ b/NEWS	Sun Nov 20 20:12:42 2016 +0100
     1.3 @@ -95,7 +95,7 @@
     1.4  * Highlighting of entity def/ref positions wrt. cursor.
     1.5  
     1.6  * Action "isabelle.select-entity" (shortcut CS+ENTER) selects all
     1.7 -occurences of the formal entity at the caret position. This facilitates
     1.8 +occurrences of the formal entity at the caret position. This facilitates
     1.9  systematic renaming.
    1.10  
    1.11  * PIDE document markup works across multiple Isar commands, e.g. the