NEWS

--- a/NEWS	Sun Feb 14 16:29:30 2016 +0100
+++ b/NEWS	Sun Feb 14 16:30:27 2016 +0100
@@ -7,6 +7,10 @@
 New in this Isabelle version
 ----------------------------
 
+*** Isar ***
+
+* Command '\<proof>' is an alias for 'sorry', with different
+typesetting. E.g. to produce proof holes in examples and documentation.
 
 
 New in Isabelle2016 (February 2016)