V8.8.1 protected

ZIMMERMANN Theo

@thzimmer

d3af6c84 · Merge PR #7955: Set Coq version to 8.8.1. · Jun 29, 2018

Version 8.8.1 of the Coq proof assistant.

Includes four critical bug fixes, many other bug fixes,
documentation improvements and user message improvements.

See CHANGES for details.