NEWS

--- a/NEWS	Mon Apr 02 10:49:03 2012 +0200
+++ b/NEWS	Mon Apr 02 13:47:00 2012 +0200
@@ -95,6 +95,8 @@
 
 *** HOL ***
 
+* New tutorial Programming and Proving in Isabelle/HOL
+
 * The representation of numerals has changed. We now have a datatype
 "num" representing strictly positive binary numerals, along with
 functions "numeral :: num => 'a" and "neg_numeral :: num => 'a" to