diff --git a/src/content/pages/download.rst b/src/content/pages/download.rst index 62d1f31..c252d62 100644 --- a/src/content/pages/download.rst +++ b/src/content/pages/download.rst @@ -71,14 +71,15 @@ Editor Support There are editor modes which support interactive editing: -* Idris 1 - - * `Atom package `_ - * `Vim mode (for Idris 1) `_ - * `Emacs mode `_ - * Idris 2 * `Vim mode (for Idris 2) `_ + * `Emacs mode (for Idris 1 and 2) `_ + * `Emacs mode (for Idris 2 only) `_ + * `Language Server Protocol `_ +* Idris 1 + * `Vim mode (for Idris 1) `_ + * `Emacs mode (for Idris 1 and 2) `_ + * `(DEPRECATED) `_ `Atom package `__