diff options
| author | Ramkumar Ramachandra | 2020-01-21 13:49:24 +0100 |
|---|---|---|
| committer | Ramkumar Ramachandra | 2020-01-21 13:49:24 +0100 |
| commit | 271cfa9e6a75c26ad186a6e76fbe33b10e0c3482 (patch) | |
| tree | eb099edaa3bcd7f706b7868bd48a0b179511770f /dev | |
| parent | f93782dbbb2e61e6664a09b3ae7981223e57f9d3 (diff) | |
[xml-protocol doc] Fix link to vscoq
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/xml-protocol.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/doc/xml-protocol.md b/dev/doc/xml-protocol.md index f0b8d6630f..fca7b77fc2 100644 --- a/dev/doc/xml-protocol.md +++ b/dev/doc/xml-protocol.md @@ -1,11 +1,11 @@ # Coq XML Protocol This document is based on documentation originally written by CJ Bell -for his [vscoq](https://github.com/siegebell/vscoq/) project. +for his [vscoq](https://github.com/coq-community/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, [vscoq](https://github.com/siegebell/vscoq/), and other user interfaces. +with Coq 8.5, and is used by CoqIDE, [vscoq](https://github.com/coq-community/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). |