# HG changeset patch
# User wenzelm
# Date 1280845991 -7200
# Node ID 2b9bfa0b44f194cc707e1d965c6fb017b6852d82
# Parent  3de75ca6f1667db0d85b07c58ec9058a6fa319b8
theory loading: only the master source file is looked-up in the implicit load path;

diff -r 3de75ca6f166 -r 2b9bfa0b44f1 NEWS
--- a/NEWS	Tue Aug 03 16:21:33 2010 +0200
+++ b/NEWS	Tue Aug 03 16:33:11 2010 +0200
@@ -14,6 +14,10 @@
 consistent view on symbols, while raw explode (or String.explode)
 merely give a byte-oriented representation.
 
+* Theory loading: only the master source file is looked-up in the
+implicit load path, all other files are addressed relatively to its
+directory.  Minor INCOMPATIBILITY, subtle change in semantics.
+
 * Special treatment of ML file names has been discontinued.
 Historically, optional extensions .ML or .sml were added on demand --
 at the cost of clarity of file dependencies.  Recall that Isabelle/ML