| Mon, 13 Nov 2017 14:31:25 +0100 | wenzelm | proper ssh.bash_path; | changeset | files |
| Mon, 13 Nov 2017 14:24:55 +0100 | wenzelm | more operations; | changeset | files |
| Sun, 12 Nov 2017 21:32:33 +0100 | wenzelm | synchronous use_theories, based on consolidated_state; | changeset | files |
| Sun, 12 Nov 2017 20:50:24 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 12 Nov 2017 20:17:29 +0100 | wenzelm | optional session_base, e.g. from existing Sessions.Deps in build.scala; | changeset | files |
| Sun, 12 Nov 2017 20:12:10 +0100 | wenzelm | synchronous session start (similar to isabelle.vscode.Server); | changeset | files |
| Sun, 12 Nov 2017 19:47:18 +0100 | wenzelm | tuned signature (again, see 1a9e2a2bf251); | changeset | files |