[ref_impl_eiffel] [323] Merge revisions 243 from TRUNK into BRANCHES/gui and BRANCHES/specialisation (renaming C_STRING from the base library to BASE_C_STRING, etc.).

Revision: 323
Author: peter.gummer

Log Message: