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