Mizar Icon Image

Mizar Vsix Version History - Page 2

A Free Programming Languages Extension By fpsbpkm

0 Votes, Average: 0 out of 5 Downloads: 2 Updated: December 28, 2021

VsixHub collected total 19 versions for Mizar VSIX (fpsbpkm.mizar-extension). You could download one of the legacy or old version of it.

Mizar Extension for VSCode Version History - Page 2

  1. Mizar v0.6.3 VSIX File (Latest Version VSIX File)

    • Updated: December 28, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 12.08 MB (12667322 Bytes)

    • MD5: 1a7aae2cf077b82f65478ea8085b59ac

    • SHA1: 44b988c07bc1f016a267b1bd8748cf66c29bf482

    • SHA256: 40abbeb8f672b11cfae6995d38dbda460bf0b4973137cc30ee22bcff5375e860

  2. Mizar v0.2.0 VSIX File (Old Version VSIX File)

    • Updated: July 11, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 775.48 KB (794090 Bytes)

    • MD5: 3c382777af9a029104e0240e89f9c714

    • SHA1: 2f31288eb04aafc3e206ea678cdbca3732b34fb5

    • SHA256: dca71ffa63b471b489cd9725a74e24e451d9f01457010abaaca123c5d3ed6ece

  3. Mizar v0.1.2 VSIX File (Old Version VSIX File)

    • Updated: December 8, 2019

    • Require: VS Code 1.38.0 and up

    • File Size: 770.60 KB (789091 Bytes)

    • MD5: a2ab608a9deaedb2837d02000bff3da7

    • SHA1: 1da4789de2f35c64b9959c04e9579419c0c953fe

    • SHA256: 58740a3ad0a7e20b67ad18bb91df9faea0d500f72d97312423b8810fe31fb6ff

  4. Mizar v0.1.1 VSIX File (Old Version VSIX File)

    • Updated: December 5, 2019

    • Require: VS Code 1.38.0 and up

    • File Size: 770.54 KB (789031 Bytes)

    • MD5: 6bfdf579b6c32602bbad2b431996fcfd

    • SHA1: 0c922f24c287625e30b48521d281a75e367466f8

    • SHA256: dec7e9a0a9fc3aef60921c312c41dc440664b05dfbb3d87615ecd7e6cc565c3e

  5. Mizar v0.0.4 VSIX File (Old Version VSIX File)

    • Updated: December 4, 2019

    • Require: VS Code 1.38.0 and up

    • File Size: 770.31 KB (788799 Bytes)

    • MD5: 7960293c178ce115cf81c62bb283996f

    • SHA1: 2202b977537bd039d1d2e3063dbb2b6689348f1b

    • SHA256: 180225337a52bb23c9cbb67ade3ee02074aa0922e6b9a211f5829493c95929a6

More Extension to Consider (Similar or Related)