src/Pure/Tools/update_tool.scala
Tue, 02 Jul 2024 23:13:35 +0200 wenzelm clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
less more (0) tip