Changes
Summary
- Add Overture 2.7.2 release notes (commit: 270685f) (details)
- Prepare release of version 2.7.2 (commit: 2cd1398) (details)
- [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) (details)
- [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
- Fix bug with import type mismatch with export (commit: 03c6582) (details)
- Corrected retrieval of nat values to allow 0 (commit: ab0e2dc) (details)
- Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details)
- Fix min_/max_ functions, fixes #706 (commit: c354db8) (details)