# HG changeset patch
# User ballarin
# Date 1308823374 -7200
# Node ID 1aacef7471c2e6beaa99bbd0aaafc70bdfeea0ea
# Parent  2b92a6943915c3d63ae94520b7e0ca3e08d8c061
Release notes should be written from the user's perspective.  Don't assume the user has universal knowledge of the system.

diff -r 2b92a6943915 -r 1aacef7471c2 NEWS
--- a/NEWS	Wed Jun 22 15:58:55 2011 -0700
+++ b/NEWS	Thu Jun 23 12:02:54 2011 +0200
@@ -22,8 +22,10 @@
 
 * 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.
+The global load path (such as src/HOL/Library) has been discontinued.
+Note that the path element ~~ may be used to reference theories in the
+Isabelle home folder -- for instance, "~~/src/HOL/Library/FuncSet".
+INCOMPATIBILITY.
 
 * Various optional external tools are referenced more robustly and
 uniformly by explicit Isabelle settings as follows: