path: root/CHANGES

- Consecutive as in patterns are forbidden

- Names generated in cases are different

- "command" in grammars is now "constr" as in pretty-printing rules

- Num�rotation dans l'ordre des hypoth�ses cr��es par Decompose