@@ -51,9 +51,6 @@ The available commands include:
5151 ``(:interpret STRING)``
5252 Interpret ``STRING`` at the Idris REPL, returning a highlighted result.
5353
54− ``(:repl-completions STRING)``
55− Return the result of tab-completing ``STRING`` as a REPL command.
56−
5754 ``(:type-of STRING)``
5855 Return the type of the name, written with Idris syntax in the ``STRING``.
5956 The reply may contain highlighting information.
@@ -122,7 +119,7 @@ The available commands include:
122119 Return the definition of ``NAME`` as a highlighted string.
123120
124121 ``(:repl-completions NAME)``
125− Search names, types and documentations which contain ``NAME``.
122+ Search names, types and documentations which contain ``NAME``. Return the result of tab-completing ``NAME`` as a REPL command.
126123
127124 ``:version``
128125 Return the version information of the Idris compiler.