src/Tools/jEdit/src/proofdocument/markup_node.scala
changeset 34760 dc7f5e0d9d27
parent 34759 bfea7839d9e1
     1.1 --- a/src/Tools/jEdit/src/proofdocument/markup_node.scala	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/proofdocument/markup_node.scala	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -2,14 +2,14 @@
     1.4   * Document markup nodes, with connection to Swing tree model
     1.5   *
     1.6   * @author Fabian Immler, TU Munich
     1.7 + * @author Makarius
     1.8   */
     1.9  
    1.10 -package isabelle.prover
    1.11 +package isabelle.proofdocument
    1.12  
    1.13  
    1.14  import javax.swing.tree.DefaultMutableTreeNode
    1.15  
    1.16 -import isabelle.proofdocument.ProofDocument
    1.17  
    1.18  
    1.19  class Markup_Node(val start: Int, val stop: Int, val info: Any)