src/Pure/Tools/server_commands.scala
Mon, 13 Mar 2023 15:53:31 +0100 wenzelm clarified signature: prefer explicit types;
Sun, 05 Mar 2023 16:36:18 +0100 wenzelm clarified signature: manage "verbose" flag via "progress";
Sun, 05 Mar 2023 16:14:48 +0100 wenzelm clarified protocol for "verbose" messages;
less more (0) -30 -10 -3 tip