NOTE: Overture releases after version 3.0.2 on Eclipse have migrated to the VSCode platform.
Installation instructions for VDM-VSCode are available here.
The VDM-VSCode project is maintained on GitHub, but releases are distributed via the VSCode Marketplace here.