Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 16 Jun 2016 16:39:18 +0200
changeset 63307 3b7ec9a8da59
parent 63306 00090a0cd17f
child 63308 d49580620ecb
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle