master default better-lex-coqdoc-formatting gh-pages hott-on-generic-equality master-with-autoreconf-files ssreflect stable.old stable updating-install.md v8.5

pure-coq-8.3 no-ssreflect-and-type-classes idempotents-paper V8.10 V8.9 V8.8 V8.7 V8.6 V8.5