src/Pure/Build/resources.scala
Fri, 27 Jun 2025 13:44:36 +0200 wenzelm clarified signature: omit pointless object-oriented indirection;
Fri, 27 Jun 2025 13:37:36 +0200 wenzelm clarified signature;
Wed, 25 Jun 2025 11:51:13 +0200 wenzelm clarified modules;
Sun, 15 Jun 2025 22:46:45 +0200 wenzelm more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings;
Mon, 01 Jul 2024 12:40:54 +0200 wenzelm clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml;
Sun, 02 Jun 2024 14:11:09 +0200 wenzelm tuned;
Tue, 05 Mar 2024 16:06:06 +0100 wenzelm prefer dynamic objects, following a5fda30edae2;
Sat, 20 Jan 2024 15:07:41 +0100 wenzelm clarified directories;
less more (0) tip