--- 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 =
{