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