Latest source code for the Eiffel libraries (partial mirror of the EiffelStudio git repository's master branch)