Repo of Eiffel course within the DOSE2013 project. There one can find Eiffel example apps and docs.