| 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 |
| Mon, 07 Sep 2009 13:52:36 +0200 | immler | corrected order | changeset | files |
| Sun, 06 Sep 2009 22:27:32 +0200 | wenzelm | sidekick root data: set buffer length to avoid crash of initial caret move; | changeset | files |
| Sun, 06 Sep 2009 16:21:01 +0200 | wenzelm | tuned color (PG 4.0); | changeset | files |