Merge pull request #9 from coq-community/relax-hydra-battles

Relaxing hydra-battles version constraint.

Merge pull request #1 from coq-community/fix-8.12

Port to Coq 8.12, add boilerplate

Addressing deprecated compatibility alias warnings.

Addressing Coq some 8.9 warnings.

Converting from iso-8859-1 to utf8.

Converting from iso-8859-1 to utf8.

Removing "pocklington" submodule. We no longer need it.

updating "Makefile" so that it works both with and without "int-map" …

…installed via OPAM

Goedel contrib takes disavantages of maximal insertion of implicits a…

…rguments.

git-svn-id: svn://scm.gforge.inria.fr/svnroot/coq-contribs/trunk@1345 0cf17b13-060f-0410-b1b1-c666bec9822a

Adapted contributions to new policy for automatic introduction of

variables preceding the colon in Definition, Lemma, etc.
This helped to fine-tune the exact behavior of the new policy.
Used option "Automatic Introduction" for ssreflect only.

git-svn-id: svn://scm.gforge.inria.fr/svnroot/coq-contribs/branches/v8.3@1177 0cf17b13-060f-0410-b1b1-c666bec9822a