diff -r b4490e1a0732 -r 8c8f27864ed1 NEWS
--- a/NEWS	Tue Apr 03 23:49:24 2012 +0200
+++ b/NEWS	Wed Apr 04 09:59:49 2012 +0200
@@ -95,7 +95,11 @@
 
 *** HOL ***
 
-* New tutorial Programming and Proving in Isabelle/HOL
+* New tutorial "Programming and Proving in Isabelle/HOL".
+It completely supercedes "A Tutorial Introduction to Structured Isar Proofs",
+which has been removed. It supercedes "Isabelle/HOL, A Proof Assistant
+for Higher-Order Logic" as the recommended beginners tutorial
+but does not cover all of the material of that old tutorial.
 
 * The representation of numerals has changed. We now have a datatype
 "num" representing strictly positive binary numerals, along with