drop support for Coq 8.10

The successor, Coq 8.11, has been released in Jan 2020, almost 2 years ago. I think it is fine for us to drop earlier versions of Coq. Iris has also dropped support for 8.10 quite a while ago already.

This will also let us use https://github.com/coq/coq/issues/7910, which should help make telescopes more ergonomic (see iris!762 (merged)).

added 1 commit

• 29fd6fee - make use of bidirectionality hint for tele_app

Compare with previous version

mentioned in merge request iris!762 (merged)

added 1 commit

• 35c04eb6 - make use of bidirectionality hint for tele_app

Compare with previous version

changed the description

Modulo comment, +1.

added 1 commit

• c67481e0 - test tele_app notation

Compare with previous version

resolved all threads

added 6 commits

• c67481e0...77100af7 - 3 commits from branch master
• 7279744a - drop support for Coq 8.10
• 91d57540 - make use of bidirectionality hint for tele_app
• 1d448a98 - test tele_app notation

Compare with previous version

added 1 commit

• 66a471d4 - test tele_app notation

Compare with previous version

LGTM.

resolved all threads

added 1 commit

• 34e5b9c2 - use unicode

Compare with previous version

@iris-users this MR proposes to remove support for Coq 8.10 from std++. Please speak up if that is a problem for you.

mentioned in merge request !344 (merged)

added 10 commits

• 34e5b9c2...78b6bc41 - 7 commits from branch master
• 37962ec3 - drop support for Coq 8.10
• a03c40c5 - make use of bidirectionality hint for tele_app
• e7613555 - test tele_app notation

Compare with previous version