From 0f218739cb6252012922863e92d8b12cb3e66b48 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 30 May 2018 11:39:36 +0200
Subject: Mention optional installation of .vo files

---
 Changelog | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 70804355..1b1db012 100644
--- a/Changelog
+++ b/Changelog
@@ -68,6 +68,9 @@ Coq development:
 - Rewrote "Implicit Arguments" and "Require" inside sections,
   these are obsolete in 8.8.0.
 - Upgraded Flocq to version 2.6.1.
+- Optionally install the .vo files for reuse by other projects
+  (options -install-coqdev and -coqdevdir to configure script;
+   automatically selected if option -clightgen is given).
 
 
 Release 3.2, 2018-01-15
-- 
cgit