From 927c683116c17a4746afdc4000ba2015591d3ba2 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 19 Jan 2020 08:43:36 +0100
Subject: Removing text saying XML is future of PG, adding explicitly vscoq as
 a user

---
 dev/doc/xml-protocol.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/doc/xml-protocol.md b/dev/doc/xml-protocol.md
index 0fc0a413ba..f0b8d6630f 100644
--- a/dev/doc/xml-protocol.md
+++ b/dev/doc/xml-protocol.md
@@ -5,8 +5,7 @@ for his [vscoq](https://github.com/siegebell/vscoq/) project.
 
 Here, the aim is to provide a "hands on" description of the XML
 protocol that coqtop and IDEs use to communicate. The protocol first appeared 
-with Coq 8.5, and is used by CoqIDE. It will also be used in upcoming 
-versions of Proof General.
+with Coq 8.5, and is used by CoqIDE, [vscoq](https://github.com/siegebell/vscoq/), and other user interfaces.
 
 A somewhat out-of-date description of the async state machine is
 [documented here](https://github.com/ejgallego/jscoq/blob/v8.10/etc/notes/coq-notes.md).
-- 
cgit v1.2.3