Magma tester-cmm.184

[Brent Pinkney]

Hi Chris,

Could you clarify the expected behaviour for me w.r.t the renamed indexes.

I have a huge Magma repository generated using older versions of Magma.  
These contain many index instances, ending with 'Definition'.

If I try to open the repository using the latest Magma code how will it  
materialise these indiex instances ?

This issue of how to migrate Magma, yet support older repositories is as  
aspect where I have little experience.

Thanks,

Brent