| Sat, 13 Nov 2010 12:32:21 +0100 | wenzelm | back to quick_and_dirty, which is still practically important since the scheduler does not jump over subproofs; | changeset | files |
| Sat, 13 Nov 2010 11:41:02 +0100 | wenzelm | await_cancellation in the main thread, independently of the execution futures, which might get interrupted or be absent after node deletetion; | changeset | files |
| Sat, 13 Nov 2010 00:24:41 +0100 | wenzelm | updated README; | changeset | files |
| Fri, 12 Nov 2010 21:37:01 +0100 | wenzelm | defensive defaults for more robust experience for new users; | changeset | files |
| Fri, 12 Nov 2010 17:44:03 +0100 | wenzelm | merged | changeset | files |
| Fri, 12 Nov 2010 15:56:11 +0100 | boehmes | preliminary support for newer versions of Z3 | changeset | files |