src/Pure/Tools/simplifier_trace.scala
Mon, 01 Jul 2024 12:40:54 +0200 wenzelm clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml;
Tue, 29 Aug 2023 12:53:28 +0200 wenzelm misc tuning: support "scalac -source 3.3";
less more (0) -10 -2 tip