bpextra: new version v 0.2

I’ve fixed a bug in bpextra.The new version can be downloaded from github.

See also this issue for how to define your own deduction styles.

Leave a Reply

Your email address will not be published. Required fields are marked *