mCRL2 202106.0
·
4 commits
to release-202106
since this release
This release mainly contains bug fixes and usability improvements to the graphical tools. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.
Note: The Windows release has received a minor fix on the 12th of July, 2021, which resolves not being able to open mcrl2ide from mcrl2-gui.