NEWS

--- a/NEWS	Wed Jul 20 11:44:11 2016 +0200
+++ b/NEWS	Wed Jul 20 16:02:00 2016 +0200
@@ -103,6 +103,9 @@
 * Command 'proof' provides information about proof outline with cases,
 e.g. for proof methods "cases", "induct", "goal_cases".
 
+* Completion templates for commands involving "begin ... end" blocks,
+e.g. 'context', 'notepad'.
+
 
 *** Isar ***