Fixed issue #6 (reported on github by Olivier Ligot).
Updated the way file_rules are processed so that it works like in EiffelStudio.
Added feature `first_non_override_overridden_class' to class ET_NAMED_CLASS.
Added feature `base_classes_there_exists' to class ET_BASE_TYPE_LIST.
Added feature ET_CLASS.formal_parameter_count.
Fixed feature `is_numeric'.
Made it possible to compile some ISE libraries.
Merge branch 'master' into dev
authority has a precondition we must check instead of checking for Void.
Fix typo.
Overflow situations not detected/handled correctly. I.e. things like 7
weeks of seconds would not work properly. With arithmetic in 64 bits
we avoid such problems for a long time.
Fixed bug: `reset_absolute_pathname' should be a procedure.
Made the structure library compilable in void-safe mode with ISE 7.3.
Fixed bug in feature `search_position'.
Fixed bugs in DS_BINARY_SEARCH_TREE_SET.
Fixed bug: months should be added before days.
Take care of storable mismatch.
Got rid of the dummy item at index 0 in arrayed structures, which is incompatible with void-safety.
Added iteration routines to the descendants of DS_TABLE so that the key can be passed first and then the item to the agents.
Workaround a precondition violation deep inside the implementation of DIRECTORY.