diff -r 64cd30d6b0b8 -r 00b2b6716ed8 NEWS
--- a/NEWS	Wed Dec 29 17:34:41 2010 +0100
+++ b/NEWS	Wed Dec 29 18:18:42 2010 +0100
@@ -84,6 +84,10 @@
 floating-point notation that coincides with the inner syntax for
 float_token.
 
+* Theory loader: implicit load path is considered legacy.  Use
+explicit file specifications instead, relatively to the directory of
+the enclosing theory file.
+
 
 *** Pure ***