Tim Nelson
Results
1
comments of
Tim Nelson
trafficstars
Following up: is it now possible to use Dafny 3.0.0 (prerelease) via this extension? I've tried locally reverting the change in 2d7fc93 to stringResources.js so Installer.ReleaseURL points to latest, rather...