Fixed the initial changes for the VDM++ Tutorial. Needs reviewing
Merge remote-tracking branch 'origin/docs' into docs