tuned;
authorwenzelm
Fri Jul 20 19:13:07 2007 +0200 (2007-07-20)
changeset 238891794f405eacc
parent 23888 babe337cce2d
child 23890 9a75e9772761
tuned;
NEWS
     1.1 --- a/NEWS	Fri Jul 20 19:10:05 2007 +0200
     1.2 +++ b/NEWS	Fri Jul 20 19:13:07 2007 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4  
     1.5  * Theory loader: optional support for content-based file
     1.6  identification, instead of the traditional scheme of full physical
     1.7 -path plus date stamp; configured by the ISABELLE_FILE_IDENT setting,
     1.8 +path plus date stamp; configured by the ISABELLE_FILE_IDENT setting
     1.9  (cf. the system manual).  The new scheme allows to work with
    1.10  non-finished theories in persistent session images, such that source
    1.11  files may be moved later on without requiring reloads.