diff -r 1e9ec1a44dfc -r aa5c367ee579 src/Pure/System/session.scala
--- a/src/Pure/System/session.scala	Thu Jan 05 14:34:18 2012 +0100
+++ b/src/Pure/System/session.scala	Thu Jan 05 14:48:41 2012 +0100
@@ -406,6 +406,12 @@
         case Isabelle_Markup.Loaded_Theory(name) if result.is_raw =>
           thy_load.register_thy(name)
 
+        case Isabelle_Markup.Command_Decl(name, kind) if result.is_raw =>
+          syntax += (name, kind)
+
+        case Isabelle_Markup.Keyword_Decl(name) if result.is_raw =>
+          syntax += name
+
         case _ =>
           if (result.is_syslog) {
             reverse_syslog ::= result.message
@@ -413,13 +419,6 @@
             else if (result.is_exit) phase = Session.Inactive
           }
           else if (result.is_stdout) { }
-          else if (result.is_status) {
-            result.body match {
-              case List(Keyword.Command_Decl(name, kind)) => syntax += (name, kind)
-              case List(Keyword.Keyword_Decl(name)) => syntax += name
-              case _ => bad_result(result)
-            }
-          }
           else bad_result(result)
       }
     }