It will be a page about the automated theorem prover E-Darwin, which is a variant of the original Darwin by Alexander Fuchs. Darwin implements the Model Evolution Calculus by Peter Baumgartner and Cesare Tinelli, and E-Darwin adds equality handling according to the enhanced Model Evolution Calculus with Equality (also by P. Baumgartner and C. Tinelli).
For now, you can download the current (30-01-2010) development version of E-Darwin here.