0.0.7-SNAPSHOT-1

Minor fixes and some stuff.

v0.0.5

A ton of general improvements. Specifically includes autocomplete for commands and goals/result types.

0.0.4-SNAPSHOT-1

Added documentation for a lot of commands and some parameters on hover, also signature help. Also includes a quickfix code action to change the behaviour parameter of sethuman conveniently.

0.0.3

A lot of refactoring, especially for the internal handling of codelens. Also some bugfixes.

0.0.2

First commit