--- a/src/Pure/PIDE/command.scala Sat Dec 05 13:45:09 2020 +0100 +++ b/src/Pure/PIDE/command.scala Sat Dec 05 14:36:41 2020 +0100 @@ -8,7 +8,6 @@ package isabelle -import scala.collection.mutable import scala.collection.immutable.SortedMap