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 |