src/Pure/Admin/build_status.scala
Sun, 07 May 2017 13:42:20 +0200 wenzelm more uniform threads value, notably for Pure session;
Sun, 07 May 2017 13:20:24 +0200 wenzelm tuned;
Sat, 06 May 2017 21:28:41 +0200 wenzelm added option verbose for SQL source;
Sat, 06 May 2017 20:51:33 +0200 wenzelm tuned signature;
Sat, 06 May 2017 20:00:08 +0200 wenzelm tuned;
Sat, 06 May 2017 19:23:33 +0200 wenzelm clarified name;
less more (0) tip