v0.0.196-pre
Pre-release
Pre-release
·
71 commits
to master
since this release
- Add editor decorations for errors, warnings, 'goals accomplished' and 'unsolved goals' (#585)