[ref_impl_eiffel] [594] AWB-86: Merge BRANCHES/specialisation revisions 586-593 (updated help page) into the TRUNK.

Revision: 594
Author: peter.gummer

Log Message: