Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
PIKA-lab
Argumentation
Arg2P
Tags
Tags give the ability to mark specific points in history as being important
v0.3.3
acd0bf26
·
Version bump
·
Oct 26, 2020
Release:
v0.3.3
v0.3.2
0a57e26d
·
Version bump
·
Oct 13, 2020
Release:
v0.3.2
v0.3.1
f7b5191e
·
Build gradle fix
·
Aug 28, 2020
Release:
v0.3.1
v0.3.0
88050396
·
Gradle wrapper upgraded (6.6)
·
Aug 25, 2020
Release:
v0.3.0
v0.2.0
a19c8eb3
·
Merge remote-tracking branch 'origin/master'
·
Jul 06, 2020
Release:
v0.2.0
v0.1.0
e4965e97
·
Updated .github-ci.yml
·
Jun 19, 2020
Release:
v0.1.0
test-release-v.0.0.0
b8b70c28
·
Example theory cleaned
·
Jun 15, 2020
Release:
test-release-v.0.0.0
ArgTuProlog test release