| Tue, 31 Oct 2017 21:50:09 +0100 | wenzelm | allow to augment session context via explicit session infos; | changeset | files |
| Tue, 31 Oct 2017 20:57:44 +0100 | wenzelm | synthesize session with all required theories from other session imports; | changeset | files |
| Tue, 31 Oct 2017 19:29:24 +0100 | wenzelm | clarified signature; | changeset | files |