--- a/src/Tools/jEdit/src/proofdocument/document.scala Mon Jan 11 13:55:32 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/document.scala Mon Jan 11 13:58:51 2010 +0100
@@ -1,20 +1,12 @@
/*
- * Document as list of commands, consisting of lists of tokens
+ * Document as editable list of commands
*
- * @author Johannes Hölzl, TU Munich
- * @author Fabian Immler, TU Munich
* @author Makarius
*/
package isabelle.proofdocument
-import scala.actors.Actor._
-import scala.collection.mutable
-
-import java.util.regex.Pattern
-
-
object Document
{
/* command start positions */