Skip to content

v0.0.184

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 28 Oct 10:39
· 9 commits to master since this release
  • Improve UX of progress bars (#542)
  • Add information to the manual about default settings set by vscode-lean4 (#540)