--- 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