git.iko.soy/Idris-dev
on ca34dec help sign in
history ofdocs/reference/ide-protocol.rst
all commits
d03a437Fix typos in docsMario Lang 42d4734Remove duplicate description of `:repl-completion`Markus Klink b174bf2Add missing information to IDE protocol docs.Robert Hencke 69540a6add more missing commands for IDE protocol doczjhmale eb9eabfadd version command to docszjhmale 7f6f3c4Spelling in Sphinx documentationEcho Nolan ec0b043Parser-driven highlighting of quasiquoted regionsDavid Raymond Christiansen 696f336Replace "metavariable" with "hole"Michael Gilliland 3275df6Add :link-href to IDE mode docsDavid Raymond Christiansen e7a4efeUpdate ide-protocol.rstAndrei Dziahel 1faecf8Update ide-protocol.rstAndrei Dziahel 27ccd9aMove IDE protocol docsDavid Raymond Christiansen