The EiffelBase extension library was added to the EiffelStudio delivery. This library provides a new class SEARCH_TABLE which is basically a set where items are HASHABLE, and some new sorting facilities for classes descendants of INDEXABLE. A few assertion violations and infinite loops with PART_SORTED_SET and BINARY_SEARCH_TREE_SET were fixed. Various EiffelStudio bugs were fixed. `clear_all' in STRING classes and HASH_TABLE has been made obsolete in favor of `wipe_out'. A behavior change in STRING.resize was done which prevents from calling `resize' with a size smaller than the current size of the string. Simplify automatic licensing of Eiffel classes by simply having a license.lic file next to the Eiffel Configuration File (ECF).
Happy Eiffeling,
The EiffelStudio Team