Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed obsolete isabelle.utils.Delay;
authorwenzelm
Sun, 05 Jul 2009 17:20:28 +0200
changeset 34644 1f7b410f66e4
parent 34643 3896caeedf82
child 34645 f6f124c9b63b
removed obsolete isabelle.utils.Delay;
src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Sat Jul 04 23:26:24 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Sun Jul 05 17:20:28 2009 +0200
@@ -8,7 +8,6 @@
 
 import isabelle.prover.Command
 import isabelle.proofdocument.ProofDocument
-import isabelle.utils.Delay
 
 import javax.swing._
 import java.awt.event._
isabelle