[doc] Mention XML protocol on changes.

It may be worth it, also added a note about file reorganization.

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index c08d782b7..984e91946 100644
--- a/CHANGES
+++ b/CHANGES
@@ -104,6 +104,7 @@ Notations
 - "Bind Scope" can once again bind "Funclass" and "Sortclass".
 
 General infrastructure
+
 - New configurable warning system which can be controlled with the vernacular
   command "Set Warnings", or, under coqc/coqtop, with the flag "-w". In
   particular, the default is now that warnings are printed by coqc.
@@ -122,6 +123,10 @@ Tools
   Verbose Compat vernacular, since these warnings can now be silenced or
   turned into errors using "-w".
 
+XML protocol
+
+- message format has changed, see dev/doc/changes.txt for more details.
+
 Many bug fixes, minor changes and documentation improvements are not mentioned
 here.