ref_impl_eiffel [299] Merge revisions 273-296 from TRUNK into BRANCHES/specialisation.

Revision: 299
Author: peter.gummer

Log Message: