src/Pure/Tools/server.scala
23 months ago wenzelm 2017-08-06 proper check for active server;
23 months ago wenzelm 2017-08-06 clarified signature;
23 months ago wenzelm 2017-08-06 tuned signature;
23 months ago wenzelm 2017-08-06 handle server connections;
23 months ago wenzelm 2017-08-06 clarified database names;
23 months ago wenzelm 2017-08-06 more options; misc tuning and clarification;
23 months ago wenzelm 2017-08-05 support for resident Isabelle servers;