diff options
| author | Michael D. Adams | 2019-10-27 11:56:54 -0400 |
|---|---|---|
| committer | GitHub | 2019-10-27 11:56:54 -0400 |
| commit | fd2d25ecc856e28cf3459aaaeef1652da83c461f (patch) | |
| tree | 6a77196bfba8377a61d5d83c78447e6f644e8163 /dev/doc | |
| parent | f508ddcd2cfff152b8d6291d96e4b87ef9fe2ff9 (diff) | |
Fix link to `coq-notes.md`
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/xml-protocol.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/doc/xml-protocol.md b/dev/doc/xml-protocol.md index a3e1a4e90b..845680d7e3 100644 --- a/dev/doc/xml-protocol.md +++ b/dev/doc/xml-protocol.md @@ -9,7 +9,7 @@ with Coq 8.5, and is used by CoqIDE. It will also be used in upcoming versions of Proof General. A somewhat out-of-date description of the async state machine is -[documented here](https://github.com/ejgallego/jscoq/blob/master/etc/notes/coq-notes.md). +[documented here](https://github.com/ejgallego/jscoq/blob/v8.10/etc/notes/coq-notes.md). OCaml types for the protocol can be found in the [`ide/protocol/interface.ml` file](/ide/protocol/interface.ml). Changes to the XML protocol are documented as part of [`dev/doc/changes.md`](/dev/doc/changes.md). |