| 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 |