diff -r daeb1674fb91 -r 788c8263e634 src/Tools/jEdit/src/token_markup.scala
--- a/src/Tools/jEdit/src/token_markup.scala	Sun Nov 25 20:31:49 2012 +0100
+++ b/src/Tools/jEdit/src/token_markup.scala	Sun Nov 25 20:59:32 2012 +0100
@@ -265,7 +265,7 @@
   /* mode provider */
 
   private val markers = Map(
-    "isabelle" -> new Token_Markup.Marker(true, Isabelle.get_recent_syntax()),
+    "isabelle" -> new Token_Markup.Marker(true, PIDE.get_recent_syntax()),
     "isabelle-options" -> new Token_Markup.Marker(false, Some(Options.options_syntax)),
     "isabelle-root" -> new Token_Markup.Marker(false, Some(Build.root_syntax)))