Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
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 443901aacef7471c2
parent 44389 2b92a6943915
child 44393 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 
     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:
wneuper/isa