| Fri, 09 Mar 2018 15:06:35 +0100 | wenzelm | Entry.connection: proview password here; | changeset | files |
| Fri, 09 Mar 2018 14:35:18 +0100 | wenzelm | clarified initial protocol; | changeset | files |
| Fri, 09 Mar 2018 14:30:13 +0100 | wenzelm | ignore empty lines; | changeset | files |
| Fri, 09 Mar 2018 14:26:08 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 09 Mar 2018 13:36:52 +0100 | wenzelm | more robust read_line after shutdown; | changeset | files |
| 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 |