--- a/src/Tools/jEdit/src/proofdocument/Token.scala Thu Nov 27 22:24:53 2008 +0100
+++ b/src/Tools/jEdit/src/proofdocument/Token.scala Fri Nov 28 15:00:07 2008 +0100
@@ -1,7 +1,13 @@
package isabelle.proofdocument
-class Token[C](var start : Int, var stop : Int, val isCommandStart : Boolean,
- val isComment : Boolean) {
+object Token {
+ object Kind {
+ val COMMAND_START = "COMMAND_START"
+ val COMMENT = "COMMENT"
+ }
+}
+
+class Token[C](var start : Int, var stop : Int, var kind : String) {
var next : Token[C] = null
var previous : Token[C] = null
var command : C = null.asInstanceOf[C]