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.16.1
0.16.1
protected
Giovanni Ciatto
@gciatto-unibo
e2c2cc36
·
fix halt solution rendering in :ide
·
Jan 19, 2021
+ make ide customisable + fix rendering of halt solutions in ide