From b1162463d577baf450c3f33ab880e7d9afe21148 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 2 Oct 2018 16:14:20 -0400
Subject: Remove -compat 8.7

This removes various compatibility notations.

Closes #8374

This commit was mostly created by running `./dev/tools/update-compat.py
--release`.  There's a bit of manual spacing adjustment around all of the
removed compatibility notations, and some test-suite updates were done
manually.

The update to CHANGES.md was manual.
---
 doc/stdlib/index-list.html.template | 1 -
 1 file changed, 1 deletion(-)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index fd79996bb7..a561de1d0c 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -619,7 +619,6 @@ through the <tt>Require Import</tt> command.</p>
   </dt>
   <dd>
     theories/Compat/AdmitAxiom.v
-    theories/Compat/Coq87.v
     theories/Compat/Coq88.v
     theories/Compat/Coq89.v
     theories/Compat/Coq810.v
-- 
cgit v1.2.3