# HG changeset patch
# User wenzelm
# Date 1330118119 -3600
# Node ID e16029f695ac4d1cef5cf56bfea78793e4bef6eb
# Parent  b257053a4cbe66223027ef2d0c64bfe2eb43fee6
tuned imports;

diff -r b257053a4cbe -r e16029f695ac src/Pure/library.scala
--- 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