The Xenophanes release

The Xenophanes release is based on the 1.7.4 branch and fixes the issue below.

Changelog

• Running liveness checking with multiple workers can cause unsoundness: TLC fails to report a violation of a property

Checksums

sha1sum	file
10b011fa0b31bc58d771f6b4cd9dd30b446d6d9d	TLAToolbox-1.7.4-win32.win32.x86_64.zip
447d22a3986fe56b749ad8475b7cdabb2567d053	TLAToolbox-1.7.4-linux.gtk.x86_64.zip
4711c53d81a804a74bfd4d8d14d67bdbff4863bc	TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
bee4a54f3ee3d4afc347c3240ec2d9e93b075104	tla2tools.jar