diff options
| author | coqbot-app[bot] | 2021-02-28 07:24:10 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-28 07:24:10 +0000 |
| commit | 7b326354b32868750b3e3ce99b8dc9a3377909ba (patch) | |
| tree | 3967612b2933809457ad509848d2af6e3661e44f | |
| parent | ca38bf53deed39c716a911b8d288f91eb334452e (diff) | |
| parent | ddd4ffea1dd58cd3e50c188699684b7506ce3bee (diff) | |
Merge PR #13886: Correct broken link.
Reviewed-by: Zimmi48
| -rw-r--r-- | doc/sphinx/practical-tools/coqide.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/practical-tools/coqide.rst b/doc/sphinx/practical-tools/coqide.rst index dcc60195ed..e7237cf7eb 100644 --- a/doc/sphinx/practical-tools/coqide.rst +++ b/doc/sphinx/practical-tools/coqide.rst @@ -248,7 +248,7 @@ right arrow, or ``\>=`` for a greater than or equal sign. A larger number of latex tokens are supported by default. The full list is available here: -https://github.com/coq/coq/blob/master/ide/default_bindings_src.ml +https://github.com/coq/coq/blob/master/ide/coqide/default_bindings_src.ml Custom bindings may be added, as explained further on. |