# HG changeset patch
# User wenzelm
# Date 1466087958 -7200
# Node ID 3b7ec9a8da59fa4a0d838e511869d8ad9f6cd6b1
# Parent  00090a0cd17f96be4b5fca8b99cbbd25d5a05aa6
tuned;

diff -r 00090a0cd17f -r 3b7ec9a8da59 NEWS
--- a/NEWS	Thu Jun 16 12:05:04 2016 +0100
+++ b/NEWS	Thu Jun 16 16:39:18 2016 +0200
@@ -69,7 +69,7 @@
 from the running Isabelle instance. Results from changed versions of
 each stage are *not* propagated to the next stage, and isolated from the
 actual Isabelle/Pure that runs the IDE itself. The sequential
-dependencies of the above files are only relevant for batch build.
+dependencies of the above files are only observed for batch build.
 
 * Highlighting of entity def/ref positions wrt. cursor.