ref_impl_eiffel [311] Merge revisions 307-310 from TRUNK into BRANCHES/gui and BRANCHES/specialisation (AWB-48 and EDT-77).

Revision: 311
Author: peter.gummer

Log Message: