# HG changeset patch
# User berghofe
# Date 1333368567 -7200
# Node ID 8b63aaec0a0e5d4813bc7bb7676849880a6b45dd
# Parent  de84dd9a9dd4af43fd559d4e0302ab0a0cbedf9a# Parent  2511f3e8449628040b6e3bc41acb09765b001fd5
merged

diff -r de84dd9a9dd4 -r 8b63aaec0a0e NEWS
--- a/NEWS	Mon Apr 02 13:58:59 2012 +0200
+++ b/NEWS	Mon Apr 02 14:09:27 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