--- a/NEWS Mon Jan 26 08:23:55 2009 +0100
+++ b/NEWS Mon Jan 26 22:14:16 2009 +0100
@@ -193,6 +193,8 @@
*** HOL ***
+* Entry point to Word library now simply named "Word". INCOMPATIBILITY.
+
* Made source layout more coherent with logical distribution
structure: