src/Pure/PIDE/session.scala

--- a/src/Pure/PIDE/session.scala	Thu Apr 03 20:53:35 2014 +0200
+++ b/src/Pure/PIDE/session.scala	Thu Apr 03 21:08:00 2014 +0200
@@ -225,8 +225,7 @@
   def recent_syntax(): Prover.Syntax =
   {
     val version = current_state().recent_finished.version.get_finished
-    if (version.is_init) resources.base_syntax  // FIXME
-    else version.syntax
+    version.syntax getOrElse resources.base_syntax
   }
 
   def snapshot(name: Document.Node.Name = Document.Node.Name.empty,