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:
Thursday, February 3, 2022
Review:
Release Type:
Minor release
New & Noteworthy URL: