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

--- a/src/Tools/jEdit/src/proofdocument/Token.scala	Tue Jun 02 22:00:28 2009 +0200
+++ b/src/Tools/jEdit/src/proofdocument/Token.scala	Tue Jun 02 22:55:13 2009 +0200
@@ -32,6 +32,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
 }