4.10.0
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
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