Made the Gobo Eiffel Argument Library compilable in void-safe mode with ISE 13.11.
Fixed typo.
Fixed bug: make sure that its directory name is valid (e.g. not excluded) because adding a recursive subcluster to a recursive cluster.
Improved the cluster dependencies checking mechanism.
Fixed incremental bug in gelint when processing across expressions in assertions.
Fixed the cluster dependencies checking mechanism when no dependencies are explicitly specified.