Skip to content

Using VSCode

Jump to bottom
Nick Battle edited this page Jan 26, 2023 · 6 revisions

Currently, the most powerful way to use VDMJ is to access it via Visual Studio Code. This gives you a full GUI IDE, with very powerful language features. VDMJ is available as a VSCode extension, called "VDM VSCode", which can be installed directly from the VSCode marketplace, by searching the extensions panel in the tool.

The extension has an extensive wiki with examples of how to use the tool.

VSCode IDE

Conversations

Clone this wiki locally