jml-vscode

VS Code extension for supporting the Java Modelling Language.

Features

• Syntax highlighting of JML contracts

Changelog

• 0.2.0 (04.04.2019)

  • Fixes by @csicar

• 0.1.0 ()

  • First release

• 0.0.0 (unpublished)

  • Start with the java language definition of VS Code.

Authors

• @csicar
• @wadoon