From c4ce787fddb5d8eefd96cd4706aa1ee7a8ea8843 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 2 Apr 2017 11:01:14 -0400
Subject: Remove coqprime-8.4

We're using tactics in terms in some places, and so have no hope of
compiling with Coq 8.4.  We no longer pretend to support it.

We can probably also remove some other compatibility things, if we want.
---
 README.md | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 6223a14bf..32bac6c34 100644
--- a/README.md
+++ b/README.md
@@ -10,16 +10,11 @@ To build (if your COQPATH variable is empty):
 
     make
 
-To build (Coq 8.5):
+To build (Coq 8.5, Coq 8.6):
 
 	export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH"
 	make
 
-To build with Coq 8.4
-
-	export COQPATH="$(pwd)/coqprime-8.4${COQPATH:+:}$COQPATH"
-	make
-
 ## Build Targets
 
 - The default target, `make` or `make coq`, builds the main files, and requires 1.3 GB of RAM
-- 
cgit v1.2.3