eiffelstudio-public - Revision 107750: /branches/Eiffel_54/Src/library/old_matisse/dbms/oodbms/base_ext/kernel
..
string_ex.e