| Fri, 09 Jan 2015 20:51:26 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 09 Jan 2015 20:39:17 +0100 | wenzelm | non-strict print_state: display old proof state on failure, e.g. unfinished command; | changeset | files |
| Fri, 09 Jan 2015 20:12:42 +0100 | wenzelm | permissive worker_start: failure to fork thread is deferred to later attempt to provide missing threads, without crashing scheduler; | changeset | files |
| Fri, 09 Jan 2015 19:20:00 +0100 | wenzelm | clarified Event_Timer.shutdown: manager thread remains until final shutdown in Session.finish; | changeset | files |