v1.1.0-beta3

Updating to support changes in Coq 8.5, beta 3.

v1.1.0-beta2

Updated with the arities of branches in pattern matching.

Release for Coq8.5-beta2

v1.0.0-beta2

fixing the bug about parsing non-zero level constrs