| Wed, 21 Mar 2018 21:31:40 +0100 | wenzelm | clarified result; | changeset | files |
| Wed, 21 Mar 2018 21:31:16 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 21 Mar 2018 19:26:50 +0100 | wenzelm | clarified error result, without JSON object from "session_build"; | changeset | files |
| Wed, 21 Mar 2018 18:30:17 +0100 | wenzelm | proper order of matches: Server.Error is an instance of Exn.ERROR; | changeset | files |