Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_process.scala
changeset 44697 b99dfee76538
parent 43780 2cb2310d68b6
child 44705 089fcaf94c00 
--- a/src/Pure/System/isabelle_process.scala	Sun Sep 04 08:43:06 2011 +0200
+++ b/src/Pure/System/isabelle_process.scala	Sun Sep 04 14:29:15 2011 +0200
@@ -99,7 +99,8 @@
   {
     if (kind == Markup.INIT) rm_fifos()
     if (kind == Markup.RAW)
-      receiver ! new Result(XML.Elem(Markup(kind, props), body))
+      xml_cache.cache_ignore(
+        new Result(XML.Elem(Markup(kind, props), body)))((result: Result) => receiver ! result)
     else {
       val msg = XML.Elem(Markup(kind, props), Isar_Document.clean_message(body))
       xml_cache.cache_tree(msg)((message: XML.Tree) =>
isabelle