| Fri, 09 Mar 2018 13:11:47 +0100 | wenzelm | more implicit wire protocol; | changeset | files |
| Fri, 09 Mar 2018 13:07:00 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 09 Mar 2018 13:03:55 +0100 | wenzelm | clarified server start, notably for invocation within regular Isabelle/Scala process; | changeset | files |