Removing the documentation of the XML plugin.

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 5d014399a1..8398853762 100644
--- a/CHANGES
+++ b/CHANGES
@@ -228,6 +228,7 @@ Tools
   the files without playing the proof scripts, asynchronously checking
   that the quickly generated proofs are correct and generating the object
   files from the quickly generated proofs.
+- The XML plugin was discontinued and removed from the source.
 
 Interfaces