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
Thu, 04 Apr 2013 17:16:51 +0200
changeset 51613 81f8da412b7f
parent 51612 6a1e40f9dd55
child 51614 22d1dd43f089
tuned imports;
src/Pure/General/pretty.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/pretty.scala	Thu Apr 04 12:06:23 2013 +0200
+++ b/src/Pure/General/pretty.scala	Thu Apr 04 17:16:51 2013 +0200
@@ -7,9 +7,6 @@
 package isabelle
 
 
-import java.awt.FontMetrics
-
-
 object Pretty
 {
   /* spaces */
isabelle