ref_impl_eiffel [295] Merge revisions 243-294 from BRANCHES/eiffel6 into TRUNK.

Revision: 295
Author: peter.gummer

Log Message: