···0001## 0.3.0 - Colored constraints
2* Adds function coloring to all predicates documented in the 2.0 documentation.
3* Adds indentation rules for parentheses
···1+## 0.3.1 - One tab too far
2+* Removes an tab in the forall snippet.
3+4## 0.3.0 - Colored constraints
5* Adds function coloring to all predicates documented in the 2.0 documentation.
6* Adds indentation rules for parentheses