1.1 --- a/src/Tools/jEdit/src/proofdocument/document.scala	Mon Jan 11 13:55:32 2010 +0100
     1.2 +++ b/src/Tools/jEdit/src/proofdocument/document.scala	Mon Jan 11 13:58:51 2010 +0100
     1.3 @@ -1,20 +1,12 @@
     1.4  /*
     1.5 - * Document as list of commands, consisting of lists of tokens
     1.6 + * Document as editable list of commands
     1.7   *
     1.8 - * @author Johannes Hölzl, TU Munich
     1.9 - * @author Fabian Immler, TU Munich
    1.10   * @author Makarius
    1.11   */
    1.12  
    1.13  package isabelle.proofdocument
    1.14  
    1.15  
    1.16 -import scala.actors.Actor._
    1.17 -import scala.collection.mutable
    1.18 -
    1.19 -import java.util.regex.Pattern
    1.20 -
    1.21 -
    1.22  object Document
    1.23  {
    1.24    /* command start positions */