| 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 |
| Sun, 12 Nov 2017 19:46:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 12 Nov 2017 19:42:22 +0100 | wenzelm | simplified: eliminated pointless Thy_Document_Model; | changeset | files |