-
v2.1 - One-Step COOL - Project MilestoneClosed Software / COOL
-
v4.0 - COOL with Modelchecking - Project MilestoneOpen Software / COOL
-
v2.0 - COOL with Aconjunctive Fixpoints - Project MilestoneRelease Aconjunctive COOLClosed Software / COOL
-
v1.0 - The first "real" release - Project MilestoneRelease Alternation-free COOLClosed Software / COOL