NEWS

--- a/NEWS	Wed Apr 20 11:33:45 2016 +0200
+++ b/NEWS	Wed Apr 20 11:44:25 2016 +0200
@@ -52,6 +52,10 @@
 
 * Highlighting of entity def/ref positions wrt. cursor.
 
+* Document markup works across multiple Isar commands, e.g. the results
+established at the end of a proof are properly identified in the theorem
+statement.
+
 
 *** Isar ***