v1.0.6

Coq-8.18 support

v1.0.5

Compatibility release with Coq-8.13.0

v1.0.4

Compatibility release for Coq-8.12.

v1.0.3

Compatibility release for metacoq 1.0~beta1+8.11

v1.0.2 compatible with coq-8.10.2

1.0.2 version compatible with coq-8.10.2

Coq-8.9 compatability release

Minor changes to make it compatible with Coq-8.9.1.
Depenency for MetaCoq changes from coq-template-coq to coq-metacoq-template.

v.1.0.0

v1.0.0

code reorg, makefile, namespace