eXtensible Abstract State Machines

File Release Notes and Changelog

Release Name: 5.2-8-i86pc-linux

Notes: Binary Releases for RedHat7/8 and Suse Linux. <p> *TclPro* files can be used if the respective version of TclPro is already installed at their default place in the file system; e.g. "/opt/scriptics/TclPro1.3" for TclPro1.3.