src/Tools/jEdit/src/proofdocument/Token.scala

--- a/src/Tools/jEdit/src/proofdocument/Token.scala	Tue Jun 02 19:00:58 2009 +0200
+++ b/src/Tools/jEdit/src/proofdocument/Token.scala	Tue Jun 02 19:00:58 2009 +0200
@@ -37,6 +37,8 @@
 }
 
 class Token(val content: String, val kind: Token.Kind.Value) {
+  import Token.Kind._
   val length = content.length
   override def toString = content
+  val is_start = kind == COMMAND_START || kind == COMMENT
 }