diff options
| author | Théo Zimmermann | 2019-10-28 10:11:57 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-28 10:11:57 +0100 |
| commit | b5d1c31e2d10084935d36a67e0d44b725210b979 (patch) | |
| tree | f995d900de98610508bd23e0fbaca63e1e80e56f /dev | |
| parent | 943dcfec49b38267488e01cc680fa456739b92cc (diff) | |
| parent | fd2d25ecc856e28cf3459aaaeef1652da83c461f (diff) | |
Merge PR #10976: Fix link to `coq-notes.md`
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
| -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). |