• EiffelStudio 17.01 is available https://www.eiffel.org/blog/eiffelstudio_17_01 3 comments 1/4/2017 programming , release