1.1 --- a/NEWS Wed Jun 22 15:58:55 2011 -0700
1.2 +++ b/NEWS Thu Jun 23 12:02:54 2011 +0200
1.3 @@ -22,8 +22,10 @@
1.4
1.5 * Theory loader: source files are exclusively located via the master
1.6 directory of each theory node (where the .thy file itself resides).
1.7 -The global load path (such as src/HOL/Library) is has been
1.8 -discontinued. INCOMPATIBILITY.
1.9 +The global load path (such as src/HOL/Library) has been discontinued.
1.10 +Note that the path element ~~ may be used to reference theories in the
1.11 +Isabelle home folder -- for instance, "~~/src/HOL/Library/FuncSet".
1.12 +INCOMPATIBILITY.
1.13
1.14 * Various optional external tools are referenced more robustly and
1.15 uniformly by explicit Isabelle settings as follows: