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 pri: prefer purging of canceled execution;
authorwenzelm
Wed, 24 Aug 2011 17:16:48 +0200
changeset 44445 364fd07398f5
parent 44444 33a5616a7571
child 44446 f9334afb6945
tuned pri: prefer purging of canceled execution;
src/Pure/PIDE/document.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/document.ML	Wed Aug 24 17:14:31 2011 +0200
+++ b/src/Pure/PIDE/document.ML	Wed Aug 24 17:16:48 2011 +0200
@@ -415,7 +415,7 @@
                 in
                   (singleton o Future.forks)
                     {name = "Document.edit", group = NONE,
-                      deps = map (Future.task_of o #2) deps, pri = 2, interrupts = false}
+                      deps = map (Future.task_of o #2) deps, pri = 0, interrupts = false}
                     (fn () =>
                       let
                         val prev_exec =
isabelle