src/Pure/Tools/scala_project.scala
Tue, 27 Jul 2021 15:20:20 +0200 wenzelm various improvements of "isabelle scala_project";
Tue, 27 Jul 2021 13:12:27 +0200 wenzelm support for native symlinks on Windows;
less more (0) -10 -2 tip