Fri, 09 Mar 2018 13:03:55 +0100 | wenzelm | clarified server start, notably for invocation within regular Isabelle/Scala process; | changeset | files |
Fri, 09 Mar 2018 12:45:53 +0100 | wenzelm | tuned signature; | changeset | files |
Fri, 09 Mar 2018 12:42:34 +0100 | wenzelm | tuned signature; | changeset | files |
Fri, 09 Mar 2018 12:38:46 +0100 | wenzelm | clarified toString operations; | changeset | files |
Fri, 09 Mar 2018 12:29:56 +0100 | wenzelm | clarified socket connection; | changeset | files |
Fri, 09 Mar 2018 12:07:47 +0100 | wenzelm | server commands may access Server; | changeset | files |