From c4ce787fddb5d8eefd96cd4706aa1ee7a8ea8843 Mon Sep 17 00:00:00 2001 From: Jason Gross 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. --- coqprime-8.4/Coqprime/Note.pdf | Bin 134038 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 coqprime-8.4/Coqprime/Note.pdf (limited to 'coqprime-8.4/Coqprime/Note.pdf') diff --git a/coqprime-8.4/Coqprime/Note.pdf b/coqprime-8.4/Coqprime/Note.pdf deleted file mode 100644 index 239a38772..000000000 Binary files a/coqprime-8.4/Coqprime/Note.pdf and /dev/null differ -- cgit v1.2.3