v1.8.14

Bump dependencies

v1.8.13

Fix crash on empty option structures in reduc.

v1.8.12

Updated dependencies.

v1.8.11

Update dependencies.

v1.8.10

Support more permissible grammar around dots and semicolons.

v1.8.9

Fix crash in *.pvl files with incomplete destructors.

v1.8.8

Introduce .test.pv files with syntax coloring (experimental, subject to radical changes or removal).
In .pv.log files, improve syntax coloring of lemmas, axioms and restrictions.
In .pv.log files, improve syntax coloring of counters.

v1.8.7

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

v1.8.6

In .pv.log, fix navigation to attack trace step.

v1.8.5

Improve variable scoping, notably of lemma parameters.