Imandra IDE Icon Image

Imandra IDE Vsix Version History

A Free Programming Languages Extension By Aesthetic Integration Limited

0 Votes, Average: 0 out of 5 Downloads: 11 Updated: July 19, 2023

VsixHub collected total 8 versions for Imandra IDE VSIX (aestheticintegration.iml-vscode). You could download one of the legacy or old version of it.

Imandra IDE Extension for VSCode Version History

  1. Imandra IDE v0.5.2 VSIX File (Latest Version VSIX File)

    • Updated: July 19, 2023

    • Require: VS Code 1.21.0 and up

    • File Size: 1.53 MB (1605267 Bytes)

    • MD5: a08d578fe32c23408397e1a88d98c092

    • SHA1: 6dd2b36b2ef8b5e52fbe77719df90ddef096f4da

    • SHA256: 4fe0820f14c0e0845297165d6a2ca82d44be7e7f0db02b8d16776e9fccd40155

  2. Imandra IDE v0.5.0 VSIX File (Old Version VSIX File)

    • Updated: May 15, 2021

    • Require: VS Code 1.21.0 and up

    • File Size: 1.53 MB (1608899 Bytes)

    • MD5: f4dc0151b70256e68f00b74f6228719d

    • SHA1: 95d3d9b6c277aca814945241db261f8e7ed85562

    • SHA256: a371110798af697dcd04fbb8ec2201a7653a4d3e03ff379cc4aa9d53ecdd9135

  3. Imandra IDE v0.4.8 VSIX File (Old Version VSIX File)

    • Updated: January 7, 2021

    • Require: VS Code 1.21.0 and up

    • File Size: 1.53 MB (1607634 Bytes)

    • MD5: db242a254477090e484ba9c80c910fe9

    • SHA1: ed0f7a09717abfa4b6fbd3bc9d16bd8601392116

    • SHA256: a2b0daa66452c1de221953712dbca4668c458d487b38d6c1265a228130ef438e

  4. Imandra IDE v0.4.7 VSIX File (Old Version VSIX File)

    • Updated: August 24, 2020

    • Require: VS Code 1.21.0 and up

    • File Size: 2.24 MB (2353147 Bytes)

    • MD5: f60c27eb69c4ddf897b70df6de03d910

    • SHA1: 1fdfaaa4f3eb67555fb89e4d1800b3f0c7297478

    • SHA256: 8c320d6defe6dd91a79516c7a7686f7f0c686e80db26a507250b419350dc3f4e

  5. Imandra IDE v0.4.6 VSIX File (Old Version VSIX File)

    • Updated: April 21, 2020

    • Require: VS Code 1.21.0 and up

    • File Size: 2.24 MB (2353597 Bytes)

    • MD5: 9f1d8efc741367ba3a2430605c92e845

    • SHA1: fbb6819014615c6ab35fb156d077a84340beba55

    • SHA256: c890267cf70f4d6f3e8c084591cf77ccbeb2eed6662e143f81bb5e4147149c0a

  6. Imandra IDE v0.4.5 VSIX File (Old Version VSIX File)

    • Updated: October 23, 2019

    • Require: VS Code 1.21.0 and up

    • File Size: 2.24 MB (2352872 Bytes)

    • MD5: e7206fe639a6575b76f54d7bd6c6d821

    • SHA1: 211290bcd80d4a1a407b8363e8ed9e7170ffbc20

    • SHA256: aebf9b7ca8ecd5d47c68c70b8b27764a96ab404ba198efc80af279ee203d38b4

  7. Imandra IDE v0.4.4 VSIX File (Old Version VSIX File)

    • Updated: September 17, 2019

    • Require: VS Code 1.21.0 and up

    • File Size: 2.24 MB (2352015 Bytes)

    • MD5: ce15542bbfac9cf74b29406a9376bd04

    • SHA1: dab62475f809d04821e4a0c307fc7cf3b02b5113

    • SHA256: 90dd4c396a8cda13c9e5359fbb98c0b6c2d6a7b242f699f1045532c48f927bc1

  8. Imandra IDE v0.4.3 VSIX File (Old Version VSIX File)

    • Updated: September 9, 2019

    • Require: VS Code 1.21.0 and up

    • File Size: 2.24 MB (2351352 Bytes)

    • MD5: 5770a1665d0d56d24abe644ad1cea9c9

    • SHA1: a81995bf7ef1be8a3ae8cb58cade892338feebd3

    • SHA256: 24f085db490e71de28a95344fcab2bc888bb33207e0e392dbc339717c90c6fe6

More Extension to Consider (Similar or Related)