Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
PIKA-lab
tuProlog
2P-Kt
Tags
0.4.1
0.4.1
protected
Enrico Siboni
@EnricoSiboni
38604569
·
Merge branch 'feature/substitution-bug-fix' into 'develop'
·
Dec 04, 2019
Substitution Standard compliance bug-fix