# HG changeset patch
# User wenzelm
# Date 1398511948 -7200
# Node ID 5e3db9209bcf6b36ce47334604f780d32bc3bf17
# Parent  0b74d1df4b8eb390570cf1c825507d6ad3e22ba2
tuned imports;

diff -r 0b74d1df4b8e -r 5e3db9209bcf src/Pure/Thy/html.scala
--- a/src/Pure/Thy/html.scala	Sat Apr 26 13:18:46 2014 +0200
+++ b/src/Pure/Thy/html.scala	Sat Apr 26 13:32:28 2014 +0200
@@ -8,9 +8,6 @@
 package isabelle
 
 
-import scala.collection.mutable.ListBuffer
-
-
 object HTML
 {
   /* encode text */