tuned;

--- a/src/Pure/Tools/isabelle_process.scala	Tue Jan 20 18:08:31 2009 +0100
+++ b/src/Pure/Tools/isabelle_process.scala	Tue Jan 20 19:09:19 2009 +0100
@@ -327,7 +327,6 @@
               c = reader.read
               if (Kind.code.isDefinedAt(c)) kind = Kind.code(c)
               else kind = null
-              props = Nil
             }
             //}}}
           }
@@ -354,8 +353,9 @@
               else if (line.endsWith("\u0002.")) {
                 result.append(line.substring(0, len - 2))
                 put_result(kind, props.reverse, result.toString)
+                kind = null
+                props = Nil
                 result.length = 0
-                kind = null
               }
               // text line
               else {