From 4349cd9fea36fafb857b117865a5edf8ae1e3b08 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 3 Jul 2016 19:08:23 +0200
Subject: Mention recent renaming of files in dev/doc/changes.txt.

---
 dev/doc/changes.txt | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index 4ce1338443..3cd371bfdc 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -2,6 +2,13 @@
 = CHANGES BETWEEN COQ V8.5 AND COQ V8.6 =
 =========================================
 
+** Files **
+
+To avoid clashes with OCaml's compiler libs, the following files were renamed:
+kernel/closure.ml{,i} -> kernel/cClosure.ml{,i}
+lib/errors.ml{,i} -> lib/cErrors.ml{,i}
+toplevel/cerror.ml{,i} -> toplevel/explainErr.mli{,i}
+
 ** Reduction functions **
 
 In closure.ml, we introduced the more precise reduction flags fMATCH, fFIX,
-- 
cgit v1.2.3