src/Pure/System/setup_tool.scala
Wed, 27 Mar 2024 13:19:21 +0100 wenzelm clarified signature;
Wed, 27 Mar 2024 13:17:22 +0100 wenzelm proper SSH operations;
Wed, 27 Mar 2024 12:54:43 +0100 wenzelm clarified signature: explicit variable is easier to find in source;
Wed, 27 Mar 2024 12:50:37 +0100 wenzelm proper services for Setup_Tool --- avoid hardwired stuff;
less more (0) tip