Mon, 12 Mar 2018 16:39:58 +0100 wenzelm tuned signature;
Mon, 12 Mar 2018 16:32:33 +0100 wenzelm explicit Server.Context with output channels (concurrent write);
Mon, 12 Mar 2018 11:37:30 +0100 wenzelm allow "." in message name;
Mon, 12 Mar 2018 11:31:39 +0100 wenzelm re-use existing in/out streams;
Mon, 12 Mar 2018 11:30:43 +0100 wenzelm tuned signature -- more generic;
Mon, 12 Mar 2018 11:17:59 +0100 wenzelm tuned imports;
Mon, 12 Mar 2018 11:00:52 +0100 wenzelm tuned;
Mon, 12 Mar 2018 10:55:02 +0100 wenzelm tuned signature;
Mon, 12 Mar 2018 10:50:26 +0100 wenzelm clarified signature -- do not expose socket;
Mon, 12 Mar 2018 21:03:57 +0100 Manuel Eberl Removed stray 'sledgehammer' invocation
Mon, 12 Mar 2018 20:53:29 +0100 Manuel Eberl Changes to NEWS regarding 2a6ef5ba4822
Mon, 12 Mar 2018 20:52:53 +0100 Manuel Eberl Changes to complete distributive lattices due to Viorel Preoteasa
Mon, 12 Mar 2018 08:25:35 +0000 haftmann eliminiated superfluous class semiring_bits
Sun, 11 Mar 2018 21:08:47 +0100 wenzelm tuned;
Sun, 11 Mar 2018 20:56:42 +0100 wenzelm tuned;
Sun, 11 Mar 2018 20:47:17 +0100 wenzelm update XML cache for slightly modified messages;
Sun, 11 Mar 2018 20:31:25 +0100 wenzelm more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
Sun, 11 Mar 2018 15:28:22 +0100 wenzelm more options;
Sun, 11 Mar 2018 15:21:20 +0100 wenzelm clarified default server name;
Sun, 11 Mar 2018 15:15:30 +0100 wenzelm more uniform output: this may be parsed by another program;
Sun, 11 Mar 2018 15:08:14 +0100 wenzelm clarified argument formats: explicit Unit, allow XML.Elem as well;
Sun, 11 Mar 2018 15:06:48 +0100 wenzelm tuned comments;
Sun, 11 Mar 2018 15:05:43 +0100 wenzelm convenience to represent XML.Body as single XML.Elem;
Sun, 11 Mar 2018 13:18:41 +0100 wenzelm clarified AFP partitioning;
Sat, 10 Mar 2018 19:36:59 +0000 haftmann abstract algebraic bit operations
Sat, 10 Mar 2018 20:24:00 +0100 wenzelm more balanced AFP partitioning;
Sat, 10 Mar 2018 15:52:47 +0100 wenzelm workaround for occasional deadlock seen in HOL-Proofs with threads=2;
Sat, 10 Mar 2018 14:43:15 +0100 wenzelm adapted to 3869b2400e22;
Sat, 10 Mar 2018 14:20:27 +0100 wenzelm tuned output;
Sat, 10 Mar 2018 14:11:58 +0100 wenzelm more options: client without implicit server startup;
Sat, 10 Mar 2018 13:54:55 +0100 wenzelm console interaction with line-editor;
Sat, 10 Mar 2018 13:37:22 +0100 wenzelm more flexible message formats;
Sat, 10 Mar 2018 13:03:01 +0100 wenzelm clarified interrupt handling;
Sat, 10 Mar 2018 12:51:04 +0100 wenzelm clarified signature;
Sat, 10 Mar 2018 12:34:07 +0100 wenzelm option for console interaction;
Sat, 10 Mar 2018 11:55:54 +0100 wenzelm more uniform Bytes.read_line/read_block operations;
Sat, 10 Mar 2018 11:40:25 +0100 wenzelm auto update;
Sat, 10 Mar 2018 11:08:20 +0100 wenzelm more comments;
Fri, 09 Mar 2018 17:03:10 +0100 wenzelm more general TTY loop;
Fri, 09 Mar 2018 15:43:54 +0100 wenzelm added Reply.NOTE for asynchronous notifications;
Fri, 09 Mar 2018 15:36:27 +0100 wenzelm more operations;
Fri, 09 Mar 2018 15:24:19 +0100 wenzelm more thorough init: purge inactive entries;
Fri, 09 Mar 2018 15:09:08 +0100 wenzelm more generous timeout;
Fri, 09 Mar 2018 15:06:35 +0100 wenzelm Entry.connection: proview password here;
Fri, 09 Mar 2018 14:35:18 +0100 wenzelm clarified initial protocol;
Fri, 09 Mar 2018 14:30:13 +0100 wenzelm ignore empty lines;
Fri, 09 Mar 2018 14:26:08 +0100 wenzelm tuned;
Fri, 09 Mar 2018 13:36:52 +0100 wenzelm more robust read_line after shutdown;
Fri, 09 Mar 2018 13:11:47 +0100 wenzelm more implicit wire protocol;
Fri, 09 Mar 2018 13:07:00 +0100 wenzelm tuned signature;
Fri, 09 Mar 2018 13:03:55 +0100 wenzelm clarified server start, notably for invocation within regular Isabelle/Scala process;
Fri, 09 Mar 2018 12:45:53 +0100 wenzelm tuned signature;
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;
Thu, 08 Mar 2018 14:12:25 +0100 wenzelm more robust build: prevent problems seen with Poly/ML eb94e2820013 on Mac OS X;
Thu, 08 Mar 2018 11:46:37 +0100 wenzelm clarified notion of unknown files: ignore files outside of a Mercurial repository;
Thu, 08 Mar 2018 11:20:45 +0100 wenzelm more balanced AFP partitioning;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip