src/Tools/jEdit/src/isabelle_markup.scala

--- a/src/Tools/jEdit/src/isabelle_markup.scala	Tue Jun 14 15:58:01 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Tue Jun 14 17:24:23 2011 +0200
@@ -185,6 +185,8 @@
   private val token_style: Map[String, Byte] =
   {
     import Token._
+    val SUBSCRIPT: Byte = ID_COUNT
+    val SUPERSCRIPT: Byte = ID_COUNT + 1
     Map[String, Byte](
       // embedded source text
       Markup.ML_SOURCE -> COMMENT3,