| Mon, 07 Sep 2009 23:42:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 07 Sep 2009 23:23:59 +0200 | wenzelm | Prover: just one actor -- single message dispatch; | changeset | files |
| Mon, 07 Sep 2009 22:17:51 +0200 | wenzelm | modernized Event_Bus -- based on actors; | changeset | files |
| Mon, 07 Sep 2009 21:09:26 +0200 | wenzelm | eliminated ProverEvents.Activate -- handle "ready" within Prover; | changeset | files |