This release provides several improvements, especially:
- Update parsers for RMarkdown (CommonMark 0.30, YAML 1.2)
- Improve support for the Eclipse UI themes
- Improve support for tasks/task tags
The target platform of StatET 4.5.0 is the Eclipse IDE 2021-12.
Release Date
Release Type
Minor release
New & Noteworthy URL