author | wenzelm |
Thu, 16 Jun 2016 16:39:18 +0200 | |
changeset 63307 | 3b7ec9a8da59 |
parent 63306 | 00090a0cd17f |
child 63308 | d49580620ecb |
--- 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.