verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/docs/guide/src/ide_support.md

October 2026

Travis Hance
Guide typos (#3340)
committed

June 2024

Jay Lorch
Remove redundant and out-of-date verus-analyzer docs (#1181)
committed

July 2023

Jay Bosamiya
Clean up and improve IDE section of guide (#645)
committed

February 2023

Jay Lorch
Merge pull request #394 from verus-lang/vscode-wsl-docs
committed
Jay Lorch
Update VS Code docs to include info on WSL
committed
Chanhee Cho
Change doc to refer master branch
committed

January 2023

Chanhee Cho
Add doc for verus version of rust-analyzer (IDE support) (#302)
committed