This repository should remain empty: its primary purpose is the issue tracker and wiki that are used by the Overture Language Board (LB). For more information, see the main Overture webpage or check out the wiki.
Information about previous and upcoming LB meetings can be found here.
Documentation, including the VDM 10 Language Reference Manual, can be found in the documentation repository.