| changeset 34481 | 660c639870a4 |
| parent 34476 | e2b1fb731241 |
| child 34483 | 0923926022d7 |
--- a/src/Tools/jEdit/src/prover/Command.scala Mon Jan 19 15:56:58 2009 +0100 +++ b/src/Tools/jEdit/src/prover/Command.scala Mon Jan 19 20:33:26 2009 +0100 @@ -29,7 +29,7 @@ } -class Command(val document: Document, val first: Token[Command], val last: Token[Command]) +class Command(val document: Document, val first: Token, val last: Token) { val id = Isabelle.plugin.id()