diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-04-08 07:04:56 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-06-14 07:21:16 +0200 |
commit | bcaf9af83363f3e1a1c588271e5038984ee1760b (patch) | |
tree | fde362e4c09656d6cc3593ef652c34a163cf4fd6 /doc/stdlib | |
parent | daf5335b18c926d7130cd28e50f00cc49c4011f6 (diff) |
Remove support for Coq 8.4.
Diffstat (limited to 'doc/stdlib')
-rw-r--r-- | doc/stdlib/index-list.html.template | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 1b847414f..48f82f2d9 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -589,7 +589,6 @@ through the <tt>Require Import</tt> command.</p> </dt> <dd> theories/Compat/AdmitAxiom.v - theories/Compat/Coq84.v theories/Compat/Coq85.v theories/Compat/Coq86.v </dd> |