Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Release notes should be written from the user's perspective. Don't assume the user has universal knowledge of the system.
authorballarin
Thu, 23 Jun 2011 12:02:54 +0200
changeset 43527 1aacef7471c2
parent 43526 2b92a6943915
child 43530 f05a707fdf91
Release notes should be written from the user's perspective. Don't assume the user has universal knowledge of the system.
NEWS file | annotate | diff | comparison | revisions 
--- 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:
isabelle