We will now install the program manager items

and then you can use ISE Eiffel for Windows.

Happy Eiffeling!