| Thu, 15 Jan 2015 16:26:23 +0100 | wenzelm | updated to scala-2.11.5; | changeset | files |
| Thu, 15 Jan 2015 14:01:26 +0100 | wenzelm | refrain from default task_context for all protocol commands, e.g. relevant for "build_theories" to admit Session.shutdown; | changeset | files |
| Thu, 15 Jan 2015 12:54:08 +0100 | wenzelm | more informative build_theories_result: cumulative Runtime.exn_message; | changeset | files |
| Thu, 15 Jan 2015 11:39:58 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 14 Jan 2015 17:24:55 +0100 | wenzelm | more type-safe handler interface; | changeset | files |
| Wed, 14 Jan 2015 16:27:19 +0100 | wenzelm | clarified build_theories: proper protocol handler; | changeset | files |
| Wed, 14 Jan 2015 16:23:33 +0100 | wenzelm | added Promise.cancel; | changeset | files |