src/Pure/System/invoke_scala.scala
Tue, 14 Mar 2017 00:09:15 +0100 wenzelm misc tuning and simplification;
less more (0) -10 -1 tip