src/Pure/Thy/thy_header.scala

 package isabelle
 
 
 import scala.annotation.tailrec
 import scala.collection.mutable
-import scala.util.parsing.input.Reader
+import scala.util.parsing.input.{Reader, CharSequenceReader}
 import scala.util.matching.Regex
 
 import java.io.File
 
 

       case Success(result, _) => result
       case bad => error(bad.toString)
     }
   }
 
+  def read(source: CharSequence): Header =
+    read(new CharSequenceReader(source))
+
   def read(file: File): Header =
   {
     val reader = Scan.byte_reader(file)
     try { read(reader).decode_permissive_utf8 }
     finally { reader.close }