| Fri, 18 May 2018 16:30:20 +0200 | wenzelm | more exports; | changeset | files |
| Thu, 17 May 2018 19:16:41 +0200 | blanchet | updated some Sledgehammer components, following Makarius advice | changeset | files |
| Thu, 17 May 2018 17:29:17 +0200 | wenzelm | export more theory and session structure; | changeset | files |
| Thu, 17 May 2018 16:42:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 17 May 2018 15:38:36 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 17 May 2018 14:50:48 +0200 | wenzelm | read theory content from session database; | changeset | files |
| Thu, 17 May 2018 14:40:58 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 17 May 2018 14:01:13 +0200 | wenzelm | misc tuning and clarification; | changeset | files |