Change Log

All notable changes to the "jml-vscode" extension will be documented in this file.

Changelog

0.3.0 (upcoming-2022)
- Changing to SemanticTokenProvider interface to highlight JML annotation texts inside Java files. There is no text mate grammar anymore.
- Language Server added on the basis of the jmlparser project.
- Simple support for KeY files
  
  Syntax highlighting and snippets.
0.2.0 (04.04.2019)
- Fixes by @csicar
0.1.0 (14.02.2019)
- First release
- ADDED support for some jml clauses and backslash keywords.
0.0.0 (unpublished)
- Start with the java language definition of VS Code.