--- a/NEWS Fri Jul 20 19:10:05 2007 +0200
+++ b/NEWS Fri Jul 20 19:13:07 2007 +0200
@@ -31,7 +31,7 @@
* Theory loader: optional support for content-based file
identification, instead of the traditional scheme of full physical
-path plus date stamp; configured by the ISABELLE_FILE_IDENT setting,
+path plus date stamp; configured by the ISABELLE_FILE_IDENT setting
(cf. the system manual). The new scheme allows to work with
non-finished theories in persistent session images, such that source
files may be moved later on without requiring reloads.