[ref_impl_eiffel] [1241] Changes to documentation including:

Revision: 1241
Author: thomas.beale
Log Message: