Coq 8.8

v1.0.4

renaming to avoid clash

For use with Coq 8.7

v1.0.3

Merge branch 'vcoq86' into vcoq87

Ported to Coq 8.6

1.0.2

compiles with Coq 8.6

preparation for opam

1.0.1

Update Makefile