This release provides several improvements, especially:
- TBD
The target platform of StatET 4.10.0 is the Eclipse IDE 2024-06.
See also: Issues at GitLab
Release Date:
Thursday, August 15, 2024
Release Type:
Minor release
New & Noteworthy URL:
This release provides several improvements, especially:
The target platform of StatET 4.10.0 is the Eclipse IDE 2024-06.
See also: Issues at GitLab