| Sat, 17 Mar 2018 21:54:33 +0100 | wenzelm | fewer messages; | changeset | files |
| Sat, 17 Mar 2018 20:49:28 +0100 | wenzelm | output result messages; | changeset | files |
| Sat, 17 Mar 2018 20:35:23 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 17 Mar 2018 20:32:39 +0100 | wenzelm | more position information; | changeset | files |
| Sat, 17 Mar 2018 18:30:13 +0100 | wenzelm | more robust check_state loop, even without session activity (e.g. idempotent use_theories); | changeset | files |
| Sat, 17 Mar 2018 18:18:53 +0100 | wenzelm | synchronized Session.update; | changeset | files |