diff -r 40810d98f4c9 -r a6914429005b NEWS
--- a/NEWS	Thu Oct 15 22:22:08 2009 +0200
+++ b/NEWS	Sat Oct 17 22:58:18 2009 +0200
@@ -23,6 +23,9 @@
 to print all interpretations of locale l in the theory.  Interpretations
 in proofs are not shown.
 
+* Thoroughly revised locales tutorial.  New section on conditional
+interpretation.
+
 
 *** HOL ***