src/Pure/PIDE/protocol.scala

--- a/src/Pure/PIDE/protocol.scala	Fri Aug 31 14:52:29 2012 +0200
+++ b/src/Pure/PIDE/protocol.scala	Fri Aug 31 15:03:44 2012 +0200
@@ -61,7 +61,7 @@
 
     def is_unprocessed: Boolean = accepted && !failed && (!touched || (forks != 0 && runs == 0))
     def is_running: Boolean = runs != 0
-    def is_finished: Boolean = !failed && forks == 0 && runs == 0
+    def is_finished: Boolean = !failed && touched && forks == 0 && runs == 0
     def is_failed: Boolean = failed
   }