src/Tools/jEdit/src/prover/Command.scala

--- a/src/Tools/jEdit/src/prover/Command.scala	Tue Jun 02 19:00:58 2009 +0200
+++ b/src/Tools/jEdit/src/prover/Command.scala	Tue Jun 02 19:00:58 2009 +0200
@@ -43,6 +43,8 @@
   def start(doc: ProofDocument) = doc.token_start(tokens.first)
   def stop(doc: ProofDocument) = doc.token_start(tokens.last) + tokens.last.length
 
+  def contains(p: Token) = tokens.contains(p)
+
   /* command status */
 
   var state_id: IsarDocument.State_ID = null