NEWS;

--- a/NEWS	Sun Sep 02 19:48:15 2018 +0200
+++ b/NEWS	Sun Sep 02 20:10:53 2018 +0200
@@ -14,6 +14,12 @@
 specified in seconds; a negative value means it is disabled (default).
 
 
+*** Isar ***
+
+* More robust treatment of structural errors: begin/end blocks take
+precedence over goal/proof.
+
+
 *** HOL ***
 
 * Simplified syntax setup for big operators under image. In rare