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.
Thursday, February 3, 2022
New & Noteworthy URL: