changeset 34452 | eea0eae5f773 |
parent 34450 | db45b50cd361 |
child 34456 | 14367c0715e8 |
--- a/src/Tools/jEdit/src/jedit/TheoryView.scala Sun Dec 28 20:35:34 2008 +0100 +++ b/src/Tools/jEdit/src/jedit/TheoryView.scala Sun Dec 28 20:46:25 2008 +0100 @@ -11,7 +11,7 @@ import isabelle.utils.EventSource import isabelle.proofdocument.Text -import isabelle.prover.{Prover, Command, CommandChangeInfo} +import isabelle.prover.{Prover, Command} import isabelle.prover.Command.Phase import java.awt.Graphics2D