[[Property:modification_date|Wed, 04 Jul 2018 09:15:02 GMT]]
[[Property:publication_date|Wed, 04 Jul 2018 09:13:19 GMT]]
[[Property:uuid|C7E5CC3E-D942-4970-A6C3-CCF560F84E1F]]
[[Property:weight|-1]]
[[Property:title|Major changes with ISE Eiffel 18.01 and 18.07]]
[[Property:link_title|18.07]]