Mark: hey cheers, I'll definitely let you know if I have any questions. For now, is there some documentation / tutorials at hand that I could have a look at to have a better understanding of the tool?
There are four things that I could think of:
1. Paper that explains the tool in quite straightforward way (find pdf atached).
2. PharoInProgress book chapter��- the documentation with examples and some details of the implementation (note, some places may be not up to date). It is written using Pillar, so you have to compile it in order to get the pdf.