changeset 63307 3b7ec9a8da59
parent 63303 7cffe366d333
child 63310 caaacf37943f
--- 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.