isabelle: Changelog

wenzelm [Fri, 09 Mar 2018 13:03:55 +0100] rev 67790

clarified server start, notably for invocation within regular Isabelle/Scala process;

wenzelm [Fri, 09 Mar 2018 12:45:53 +0100] rev 67789

tuned signature;

wenzelm [Fri, 09 Mar 2018 12:42:34 +0100] rev 67788

tuned signature;

wenzelm [Fri, 09 Mar 2018 12:38:46 +0100] rev 67787

clarified toString operations;

wenzelm [Fri, 09 Mar 2018 12:29:56 +0100] rev 67786

clarified socket connection;

wenzelm [Fri, 09 Mar 2018 12:07:47 +0100] rev 67785

server commands may access Server; Server.stop: proper shutdown; clarified signature;

wenzelm [Thu, 08 Mar 2018 21:09:22 +0100] rev 67784

tuned -- avoid regex matching on potentially large string; clarified message: command name could be malformed;

isabelle