Changelog for liquid-fixpoint-0.6.0.2

CHANGES

NEXT

0.3.0.0

0.2.2.0

0.2.1.0

0.2.0.0