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.
tuned imports;
authorwenzelm
Fri, 24 Feb 2012 22:15:19 +0100
changeset 46660 e16029f695ac
parent 46659 b257053a4cbe
child 46661 d2ac78ba805e
tuned imports;
src/Pure/library.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/library.scala	Fri Feb 24 21:36:20 2012 +0100
+++ b/src/Pure/library.scala	Fri Feb 24 22:15:19 2012 +0100
@@ -15,8 +15,6 @@
 import scala.swing.ComboBox
 import scala.swing.event.SelectionChanged
 import scala.collection.mutable
-import scala.math.Ordering
-import scala.util.Sorting
 
 
 object Library
isabelle