 |
Changes
- [maven-release-plugin] prepare for next development iteration (commit: 42ea313)
(details)
- Replaces the 2019-12 repositories with the 2020-09 ones (commit: 596cf18)
(details)
- [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab)
(details)
Changes in dependency
- Test Framework for Overture
#29
→
#30
(detail)
- Overture IDE Top-level
#29
→
#30
(detail)
- The VDM parser
#29
→
#30
(detail)
- Overture Core Command Line Tool
#29
→
#30
(detail)
- The VDM Pretty Printer
#29
→
#30
(detail)
- The VDM Interpreter
#29
→
#30
(detail)
- The Proof Obligation Generator
#29
→
#30
(detail)
- The Overture Tool Platform root
#29
→
#30
(detail)
- The Overture Abstract Syntax Tree
#29
→
#30
(detail)
- The VDM Type Checker
#29
→
#30
(detail)
|