diff -r 04cd2fddb4d9 -r 963b50ec6d73 src/Pure/System/session.scala
--- a/src/Pure/System/session.scala	Wed Aug 22 16:10:23 2012 +0200
+++ b/src/Pure/System/session.scala	Wed Aug 22 16:24:52 2012 +0200
@@ -146,9 +146,6 @@
     if (version.is_init) thy_load.base_syntax
     else version.syntax
   }
-  def get_recent_syntax(): Option[Outer_Syntax] =
-    if (is_ready) Some(recent_syntax)
-    else None
 
   def snapshot(name: Document.Node.Name = Document.Node.Name.empty,
       pending_edits: List[Text.Edit] = Nil): Document.Snapshot =