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 import;
authorwenzelm
Sat, 04 Aug 2012 21:48:09 +0200
changeset 48677 bd4d132e32cf
parent 48676 3ef82491cdd6
child 48678 ff27af15530c
tuned import;
src/Pure/PIDE/text.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/text.scala	Sat Aug 04 21:45:41 2012 +0200
+++ b/src/Pure/PIDE/text.scala	Sat Aug 04 21:48:09 2012 +0200
@@ -10,7 +10,6 @@
 
 
 import scala.collection.mutable
-import scala.math.Ordering
 import scala.util.Sorting
isabelle