| Fri, 25 Apr 2014 14:18:13 +0200 | wenzelm | updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML; | changeset | files |
| Fri, 25 Apr 2014 13:55:50 +0200 | wenzelm | simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous commands_changed.post; | changeset | files |
| Fri, 25 Apr 2014 13:29:56 +0200 | wenzelm | replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time; | changeset | files |