changeset 80225 | d9ff4296e3b7 |
parent 80224 | db92e0b6a11a |
--- a/src/Pure/General/bibtex.scala Sat Jun 01 12:31:06 2024 +0200 +++ b/src/Pure/General/bibtex.scala Sat Jun 01 12:35:38 2024 +0200 @@ -7,8 +7,6 @@ package isabelle -import java.io.{File => JFile} - import scala.collection.mutable import scala.util.parsing.combinator.RegexParsers import scala.util.parsing.input.Reader