--- a/src/Pure/System/scala.scala Sat Nov 28 16:25:29 2020 +0100 +++ b/src/Pure/System/scala.scala Sat Nov 28 17:38:03 2020 +0100 @@ -242,4 +242,5 @@ Scala.Echo, Scala.Sleep, Scala.Toplevel, + Doc.Doc_Names, Bibtex.Check_Database)