This release provides several improvements, especially:
- Adapt to changes in GR 4.3
The target platform of StatET 4.8.0 is the Eclipse IDE 2023-06. Please note, they require Java 17 as runtime environment, Java 11 is no longer supported.
See also: Issues at GitLab
Release Date
Release Type
Minor release
New & Noteworthy URL