src/Pure/Tools/server.scala
18 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
19 months ago wenzelm 2017-10-27 some concrete commands; clarified messages;
19 months ago wenzelm 2017-10-27 more formal messages;
19 months ago wenzelm 2017-10-26 clarified command language;
20 months ago wenzelm 2017-10-13 tuned signature;
22 months ago wenzelm 2017-08-06 proper check for active server;
22 months ago wenzelm 2017-08-06 clarified signature;
22 months ago wenzelm 2017-08-06 tuned signature;
22 months ago wenzelm 2017-08-06 handle server connections;
22 months ago wenzelm 2017-08-06 clarified database names;
22 months ago wenzelm 2017-08-06 more options; misc tuning and clarification;
22 months ago wenzelm 2017-08-05 support for resident Isabelle servers;