��Cheers all,

There was a mail about Spec2 documentation on this list in the last few days. I had a Spec program, and wanted to see how to migrate it to Spec2.��
The before and after is the master and the Spec2Migration branches of:��https://github.com/kasperosterbye/ovina

I decided to write down an account of all my struggles in making this migration. That account is on:��https://github.com/kasperosterbye/ovina/blob/Spec2Migration/SpectoSpec2.md

Beware - it is LONG.

In the end, I draw the following conclusions:
Some of them refer to specifics of the code.��

Overall I can say, that earlier today, Estaban wrote:
"Widgets API is more or less compatible, chances are that your components will work out of the box or it will be rewritten by a deprecation rule.
What is not compatible and there I not auto migration is the layout. You will need to rewrite those.���

I am afraid to say, that was not my experience :-)

Best,

Kasper