mCRL2 Viewer Icon Image

mCRL2 Viewer Vsix Version History

A Free Other Extension By Tri Nguyen

0 Votes, Average: 0 out of 5 Downloads: 2 Updated: November 20, 2020

VsixHub collected total 2 versions for mCRL2 Viewer VSIX (trinnguyen.mcrl2-viewer). You could download one of the legacy or old version of it.

mCRL2 Viewer Extension for VSCode Version History

  1. mCRL2 Viewer v1.0.1 VSIX File (Latest Version VSIX File)

    • Updated: November 20, 2020

    • Require: VS Code 1.47.0 and up

    • File Size: 174.11 KB (178291 Bytes)

    • MD5: 32cfb503254e9e817b8f3c1f44933449

    • SHA1: 583c6384e0c9090925636c5df89f3829c300d4c6

    • SHA256: b0740aba6e5166e194d1d3065eba0dad92bb84a6def3f00769b77eb7d7f4d807

  2. mCRL2 Viewer v1.0.0 VSIX File (Old Version VSIX File)

    • Updated: July 31, 2020

    • Require: VS Code 1.47.0 and up

    • File Size: 4.76 KB (4878 Bytes)

    • MD5: ade74d7ac8a9ab105ab71d87fdedf154

    • SHA1: e6577bad8ba10faa019d36c1fb4b480b90c7418b

    • SHA256: 86c0bc1c67e6bcd597e561448610663bb5bcfd0be7a81699fbe7ab78e48c52b9

More Extension to Consider (Similar or Related)