From b0fdbb0e88d6decd068709ea673dbe51fd6727b0 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavierleroy@users.noreply.github.com>
Date: Wed, 5 Feb 2020 18:33:13 +0100
Subject: Support Coq 8.11.0 (#212)

Update configure.
Ignore and clean up .vok and .vos files, which Coq 8.11.0 generates.
---
 Changelog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 935f77f2..08586da5 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,7 @@
+Coq development:
+- Compatibility with Coq version 8.11.0 (#316)
+
+	
 Release 3.6, 2019-09-17
 =======================
 
-- 
cgit