diff options
| author | Michael D. Adams | 2019-10-17 11:00:27 -0400 |
|---|---|---|
| committer | GitHub | 2019-10-17 11:00:27 -0400 |
| commit | 246d13747b6eff4d29c18cca57621633b81fe56e (patch) | |
| tree | 4186a609843216f7bfc7cee30f29c2dab5c79396 /dev/README.md | |
| parent | cc9856e33fa1a15fe699e8d9cd7b76086563683d (diff) | |
Fix link to `xml-protocol.md` in `dev/README.md`
Diffstat (limited to 'dev/README.md')
| -rw-r--r-- | dev/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/README.md b/dev/README.md index 4cda60a703..0c6b8020f1 100644 --- a/dev/README.md +++ b/dev/README.md @@ -28,7 +28,7 @@ | [`dev/doc/econstr.md`](doc/econstr.md) | Describes `Econstr`, implementation of treatment of `evar` in the engine | | [`dev/doc/primproj.md`](doc/primproj.md) | Describes primitive projections | | [`dev/doc/proof-engine.md`](doc/proof-engine.md) | Tutorial on new proof engine | -| [`dev/doc/xml-protocol.md`](doc/proof-engine.md) | XML protocol that coqtop and IDEs use to communicate | +| [`dev/doc/xml-protocol.md`](doc/xml-protocol.md) | XML protocol that coqtop and IDEs use to communicate | | [`dev/doc/MERGING.md`](doc/MERGING.md) | How pull requests should be merged into `master` | | [`dev/doc/release-process.md`](doc/release-process.md) | Process of creating a new Coq release | |