# HG changeset patch
# User wenzelm
# Date 1263214731 -3600
# Node ID a1d394600a920ff2e796f90e2332ca356aeaadc6
# Parent  309d545295d36a314c39ba21c100f3b5caadb573
updated header;

diff -r 309d545295d3 -r a1d394600a92 src/Tools/jEdit/src/proofdocument/document.scala
--- 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 */