v1.8.7

famoser released this 27 Feb 08:01

· 38 commits to main since this release

f2bf1b6

In .pv.log files, improve syntax coloring of equalities.
In .pv.log files, improve detection of error results.

Assets 3