Montpellier

This is a major release of Codename Gdansk. (June 23, 2026)


Download from Official distribution site.

Major updates are

• Codename Montpellier has been released (Jun 23, 2026)
  • Improved VDMPad
    • Modernized UI
    • VIP (VDM Instant Pad) link and QR code
    • State diagrams and Sequence diagrams
  • Updated ViennaClient
    • adopt async/await
  • Updated ViennaDoc
    • updated syntax highlighting
    • adopt module system of ES
  • misc fixes