src/Pure/Tools/scala_project.scala
Thu, 01 Jul 2021 14:06:20 +0200 wenzelm clarified directories;
Wed, 30 Jun 2021 21:30:37 +0200 wenzelm clarified Isabelle/Java/Scala project setup;
less more (0) -10 -2 tip