# HG changeset patch
# User wenzelm
# Date 1184951587 -7200
# Node ID 1794f405eacc754f167df14ec860c72b635e570f
# Parent  babe337cce2dc4a186a06b61fd5dc0cf47d91881
tuned;

diff -r babe337cce2d -r 1794f405eacc NEWS
--- 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.