v0.25.10

0.25.10 - 2022-07-18

Features

• Add RPC to load spec to the experimental Shai server (see #1114)

Bug fixes

• Add workaround for Sany parsing failures when running parallel instances of Apalache (see #1959)

Documentation

• Added TLA+ syntax highlighting to the manual, see #1972