src/Pure/Tools/scala_project.scala
Tue, 18 Aug 2020 18:23:17 +0200 wenzelm rudiments of Scala interface for Kodkod;
less more (0) -1 tip