Proof Propagation not showing

[MClarke1991]

We have found a bug in the presentation of the proof propagation in BMA. When I load a model e.g. 'ToyModelUnstable' and click Stabilise and then on show proof propagation, I get an empty window (attached).

[pedrovictori]

I was checking this and found that in my local installation of BMA (version 1.13.0002) it works properly, so the bug appeared after that.

[MClarke1991]

Proof presenter was changed in v14 e.g.
b3a0b28 which might be the breaking change