src/Pure/Tools/server_commands.scala
Fri, 27 Mar 2020 13:02:56 +0100 wenzelm clarified signature;
Fri, 01 Mar 2019 21:29:59 +0100 wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
Sat, 29 Dec 2018 16:11:24 +0100 wenzelm clarified signature;
Thu, 27 Dec 2018 16:56:53 +0100 wenzelm clarified defaults via system options;
Thu, 13 Dec 2018 15:21:34 +0100 wenzelm clarified modules and signature;
Tue, 18 Sep 2018 11:14:30 +0200 wenzelm tuned signature;
Tue, 18 Sep 2018 11:05:14 +0200 wenzelm clarified modules;
Sat, 08 Sep 2018 13:36:40 +0200 wenzelm clarified defaults;
Sat, 08 Sep 2018 12:01:37 +0200 wenzelm tuned signature;
Tue, 04 Sep 2018 16:23:54 +0200 wenzelm support for watchdog_timeout;
Sat, 18 Aug 2018 22:09:09 +0200 wenzelm optional notification of nodes_status (via progress);
Sat, 11 Aug 2018 17:33:00 +0200 wenzelm tuned signature;
less more (0) -12 tip