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 |
Sat, 17 Mar 2018 17:23:35 +0100 | wenzelm | more interruptible use_theories; | changeset | files |
Sat, 17 Mar 2018 17:13:27 +0100 | wenzelm | clarified exception handling: include interrupts; | changeset | files |