1.1 --- a/src/Pure/General/yxml.scala	Tue Jun 09 01:32:57 2009 +0200
     1.2 +++ b/src/Pure/General/yxml.scala	Tue Jun 09 20:18:21 2009 +0200
     1.3 @@ -6,8 +6,6 @@
     1.4  
     1.5  package isabelle
     1.6  
     1.7 -import java.util.regex.Pattern
     1.8 -
     1.9  
    1.10  object YXML {
    1.11