src/Pure/Tools/scala_project.scala
Tue, 27 Jul 2021 15:20:20 +0200 wenzelm various improvements of "isabelle scala_project";
less more (0) -10 -1 tip