Changes

#167 (May 17, 2020 7:09:42 PM)

1. Guard against missing module names (commit: 50da1be) — Peter W. V. Tran-Jørgensen / githubweb

#165 (Oct 17, 2019 12:04:11 PM)

1. Add Overture 2.7.2 release notes (commit: 270685f) — Peter W. V. Tran-Jørgensen / githubweb
2. Prepare release of version 2.7.2 (commit: 2cd1398) — Peter W. V. Tran-Jørgensen / githubweb
3. [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) — Peter W. V. Tran-Jørgensen / githubweb
4. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) — Peter W. V. Tran-Jørgensen / githubweb
5. Fix bug with import type mismatch with export (commit: 03c6582) — nick.battle / githubweb
6. Corrected retrieval of nat values to allow 0 (commit: ab0e2dc) — simon.fraser / githubweb
7. Suppress details as well as messages in VDMError when suspended (commit: b652fba) — nick.battle / githubweb
8. Fix min_/max_ functions, fixes #706 (commit: c354db8) — nick.battle / githubweb