Specware 4.2.2

Release Notes

Miscellaneous bug fixes, particularly for prover interfaces to SNARK and Isabelle/HOL.