Dafny Symbols Icon Image

Dafny Symbols Vsix Version History

A Free Programming Languages Extension By franck44

0 Votes, Average: 0 out of 5 Downloads: 1 Updated: September 7, 2020

VsixHub collected total 3 versions for Dafny Symbols VSIX (franck44.dafny-symbols). You could download one of the legacy or old version of it.

Dafny Symbols Extension for VSCode Version History

  1. Dafny Symbols v1.2.0 VSIX File (Latest Version VSIX File)

    • Updated: September 7, 2020

    • Require: VS Code 1.45.0 and up

    • File Size: 5.27 KB (5398 Bytes)

    • MD5: cf9f6f215caa689fc7e7ef88abac2147

    • SHA1: 96dd12d8ec395bb2e9a55dee990e3148c17cf89c

    • SHA256: 3f0e794cca9be8e69eac75d131cb16c6ea08ba4e89df32d4e0a5864e79e262a3

  2. Dafny Symbols v1.1.0 VSIX File (Old Version VSIX File)

    • Updated: June 16, 2020

    • Require: VS Code 1.45.0 and up

    • File Size: 5.22 KB (5349 Bytes)

    • MD5: 767cd3e6de31b898600cf61ad641f94f

    • SHA1: 6553a6edc9de23f6838d184239565c05f22e0194

    • SHA256: 7967f608722b91b7303244e07ba8b62a9f160f92f549a985b5f00921d605c665

  3. Dafny Symbols v1.0.0 VSIX File (Old Version VSIX File)

    • Updated: June 11, 2020

    • Require: VS Code 1.45.0 and up

    • File Size: 5.24 KB (5362 Bytes)

    • MD5: 0292a576b0665dae773b04a0acf23d7c

    • SHA1: 081356843ff2fc8307b95f377b985b247746d387

    • SHA256: 84b722b45a9470f48330781a2509c8695bf17edeb5249f712edbdd5dbe15861c

More Extension to Consider (Similar or Related)