Some documentation of recent changes concerning interfaces

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15393 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 7 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 77701be7ba..8408db0d96 100644
--- a/CHANGES
+++ b/CHANGES
@@ -23,6 +23,13 @@ Notations
 
 - "Bind Scope" can no longer bind "Funclass" and "Sortclass".
 
+Internal Infrastructure
+
+- Many reorganisations in the ocaml source files. For instance,
+  many internal a.s.t. of Coq are now placed in mli files in
+  a new directory intf/, for instance constrexpr.mli or glob_term.mli.
+  More details in dev/doc/changes.
+
 Changes from V8.4beta to V8.4beta2
 ==================================