diff -r c63a016805b9 -r 251e1a2aa792 src/Tools/jEdit/src/isabelle_sidekick.scala
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Aug 29 15:48:37 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Aug 29 15:53:56 2013 +0200
@@ -142,7 +142,7 @@
   Isabelle_Sidekick_Structure("isabelle-root", PIDE.thy_load.buffer_node_dummy)
 
 
-class Isabelle_Sidekick_Raw extends Isabelle_Sidekick("isabelle-raw")
+class Isabelle_Sidekick_Markup extends Isabelle_Sidekick("isabelle-markup")
 {
   override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean =
   {