src/Pure/Tools/server.scala
Fri, 09 Mar 2018 12:42:34 +0100 wenzelm tuned signature;
Fri, 09 Mar 2018 12:38:46 +0100 wenzelm clarified toString operations;
Fri, 09 Mar 2018 12:29:56 +0100 wenzelm clarified socket connection;
Fri, 09 Mar 2018 12:07:47 +0100 wenzelm server commands may access Server;
Thu, 08 Mar 2018 21:09:22 +0100 wenzelm tuned -- avoid regex matching on potentially large string;
Sun, 10 Dec 2017 20:29:00 +0100 wenzelm avoid println with its extra CR on Windows;
Fri, 27 Oct 2017 17:06:30 +0200 wenzelm some concrete commands;
Fri, 27 Oct 2017 16:21:58 +0200 wenzelm more formal messages;
Thu, 26 Oct 2017 15:08:53 +0200 wenzelm clarified command language;
Fri, 13 Oct 2017 21:20:31 +0200 wenzelm tuned signature;
Sun, 06 Aug 2017 18:51:32 +0200 wenzelm proper check for active server;
Sun, 06 Aug 2017 17:42:04 +0200 wenzelm clarified signature;
Sun, 06 Aug 2017 17:38:54 +0200 wenzelm tuned signature;
Sun, 06 Aug 2017 17:32:32 +0200 wenzelm handle server connections;
Sun, 06 Aug 2017 13:35:03 +0200 wenzelm clarified database names;
Sun, 06 Aug 2017 13:29:38 +0200 wenzelm more options;
Sat, 05 Aug 2017 20:08:41 +0200 wenzelm support for resident Isabelle servers;
less more (0) tip