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