From d8efd8998c8ccac4d8c00e5de842e55959cf7d55 Mon Sep 17 00:00:00 2001 From: Rin Arakaki Date: Sun, 8 Jul 2018 11:24:22 +0000 Subject: Modify URLs in xml-protocol.md --- dev/doc/xml-protocol.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'dev') diff --git a/dev/doc/xml-protocol.md b/dev/doc/xml-protocol.md index ab70d5fee..48671c03b 100644 --- a/dev/doc/xml-protocol.md +++ b/dev/doc/xml-protocol.md @@ -10,9 +10,9 @@ 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). -OCaml types for the protocol can be found in the [`ide/interface.mli` file](/ide/protocol/interface.ml). +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.txt`](/dev/doc/changes.md). +Changes to the XML protocol are documented as part of [`dev/doc/changes.md`](/dev/doc/changes.md). * [Commands](#commands) - [About](#command-about) -- cgit v1.2.3