Sign in or sign up before continuing. Don't have an account yet? Register now to get started.
Register now
Tags
Tags give the ability to mark specific points in history as being important
1.1.9
1075e07a
·
Merge branch 'platform-2025' into 'master'
·
Nov 07, 2025
Release:
IntelliJML 1.1.9
1.1.8
7bdd5565
·
Merge branch 'master' into 'master'
·
Nov 18, 2024
Release:
IntelliJML 1.1.8
1.1.7
1b110298
·
Merge branch '2024.2' into 'master'
·
Nov 11, 2024
Release:
IntelliJML 1.1.7
1.1.6
d72d8296
·
Merge branch 'master' into 'master'
·
Dec 11, 2023
Release:
IntelliJML 1.1.6
1.1.5
76e818ab
·
Actually include 1.1.5 jar
·
Nov 05, 2023
Release:
IntelliJML 1.1.5
1.1.4
4136132b
·
Merge branch 'master' of
https://gitlab.utwente.nl/fmt/intellijml
·
Dec 01, 2022
Release:
IntelliJML 1.1.4
1.1.3
b341b686
·
Merge branch 'feature_quick-documentation' into 'master'
·
Nov 09, 2022
Release:
IntelliJML 1.1.3
1.1.2
f8843555
·
Merge branch 'feature_quick-documentation' into 'master'
·
Jan 27, 2022
Release:
IntelliJML 1.1.2
1.1.1
a53c9553
·
Fixed bug where \result would have wrong type comparisons when it is an array type
·
Jan 26, 2022
Release:
IntelliJML 1.1.1
1.1.0
4e002f21
·
Merge branch 'feature_quick-documentation' into 'master'
·
Dec 08, 2021
Release:
IntelliJML 1.1.0
1.0.4
4c42b582
·
Updated the plugin to IntelliJ 2021.3
·
Dec 01, 2021
Release:
IntelliJML 1.0.4
1.0.3
4477cc8b
·
Fixed bug where in quantified expressions with multiple variables declared in...
·
Nov 22, 2021
Release:
IntelliJML 1.0.3
1.0.2
9f9c1d45
·
Fixed a Java error suppression bug.
·
Nov 15, 2021
Release:
IntelliJML 1.0.2
1.0.1-description
6270b396
·
Updated JAR file for description fix
·
Oct 30, 2021
Release:
Fixed the broken plugin description
1.0.1
4698ade1
·
Append compiled jar
·
Oct 30, 2021
Release:
Maintenance Release
1.0.0
5fa7e4a9
·
Added compiled jar
·
Apr 26, 2021
Release:
IntelliJML