NEWS

--- a/NEWS	Thu Mar 03 15:56:17 2011 +0100
+++ b/NEWS	Thu Mar 03 18:10:28 2011 +0100
@@ -16,6 +16,11 @@
 * Discontinued old lib/scripts/polyml-platform, which has been
 obsolete since Isabelle2009-2.
 
+* Theory loader: source files are exclusively located via the master
+directory of each theory node (where the .thy file itself resides).
+The global load path (such as src/HOL/Library) is has been
+discontinued.  INCOMPATIBILITY.
+
 
 *** HOL ***