src/Pure/Tools/scala_project.scala
Sun, 03 Jan 2021 12:11:56 +0100 wenzelm more robust bootstrap: Isabelle-jEdit.shasum could be absent;
less more (0) -1 tip