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;
Thu, 06 Jun 2024 22:34:24 +0200 wenzelm clarified name: avoid clash with Library.Update;
less more (0) tip