From dc5c3963e4c9b8493f18fd2cdf4b554e89e69de2 Mon Sep 17 00:00:00 2001
From: Nick Drozd <nicholasdrozd@gmail.com>
Date: Sat, 22 May 2021 16:11:00 -0500
Subject: [PATCH] Update Emacs idris-mode doc

---
 docs/source/tutorial/interactive.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/tutorial/interactive.rst b/docs/source/tutorial/interactive.rst
index cfb9528dc..e9bcea907 100644
--- a/docs/source/tutorial/interactive.rst
+++ b/docs/source/tutorial/interactive.rst
@@ -21,7 +21,7 @@ section, we explain how these features can be exploited by a text
 editor, and specifically how to do so in `Vim
 <https://github.com/edwinb/idris2-vim>`_. An interactive mode
 for `Emacs <https://github.com/idris-hackers/idris-mode>`_ is also
-available (though not yet updated for Idris 2).
+available, updated for Idris 2 compatability as of 23 February 2021.
 
 Editing at the REPL
 ===================