- 03 May, 2022 9 commits
- 02 May, 2022 6 commits
- 09 Aug, 2021 2 commits
- 06 Aug, 2021 1 commit
-
-
dgelessus authored
It does the same thing as downloadCli, but is missing the doLast block around the task code. This means that even though downloadCli2 is never used, its code executes every time Gradle is run, so the CLI is downloaded much more often than it needs to be.
-
- 23 Jul, 2021 3 commits
- 22 Jul, 2021 1 commit
-
-
dgelessus authored
-
- 29 Jun, 2021 5 commits
-
-
dgelessus authored
-
dgelessus authored
-
dgelessus authored
-
dgelessus authored
-
Michael Leuschel authored
-
- 27 Jun, 2021 1 commit
-
-
Michael Leuschel authored
-
- 11 Jun, 2021 5 commits
-
-
Michael Leuschel authored
-
Michael Leuschel authored
the generated counter examples are not in the right format for the ProB for Rodin plugin
-
Michael Leuschel authored
problem was not functor but length of values
-
Michael Leuschel authored
-
Michael Leuschel authored
(to force re-building plugin)
-
- 25 Jan, 2021 2 commits
-
-
Michael Leuschel authored
-
Michael Leuschel authored
-
- 21 Jan, 2021 1 commit
-
-
Michael Leuschel authored
-
- 16 Dec, 2020 2 commits
-
-
Michael Leuschel authored
it still contains old version of 32 bit linux and windows probclis
-
Michael Leuschel authored
-
- 05 Dec, 2020 1 commit
-
-
Michael Leuschel authored
-
- 03 Dec, 2020 1 commit
-
-
Michael Leuschel authored
-