Version 1.3.0 (coq-8.6)

Coq 8.6 support.

Release 1.2.0

• The signature of the standard library now has a name
• Added matching on Sort

v1.1.0 for Coq v8.5

Stable version for Coq 8.5 stable

Release for Coq 8.5-beta2

v1.0.0

versions of glob that ignore universes.