Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
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