[ref_impl_eiffel] [1642] Update documentation for beta release 5.

Revision: 1642
Author: thomas.beale
Log Message: