4.5.0
Description
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.
Conforms To UI/UX Guidelines
Not verified