Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.
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.