[nongnu] elpa/idris-mode updated (bb26a21566 -> e39bb892f8)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  bb26a21566 Merge pull request #607 from keram/impro-xref-integration
       new  f52818775f Ensure that Idris repl buffer window point is moved to 
end
       new  b80809394a Merge pull request #610 from keram/issue-443
       new  43b6036c99 Use `idris-case-dwim` in Idris menu instead of 
`idris-case-split` and `idris-make-cases-from-hole`
       new  e39bb892f8 Merge pull request #611 from 
keram/issue-447-case-split-menu-key-bind


Summary of changes:
 idris-mode.el           |  4 ++--
 idris-repl.el           |  5 +++--
 test/idris-repl-test.el | 52 +++++++++++++++++++++++++++++++++++++++++++++++++
 test/idris-tests.el     |  1 +
 4 files changed, 58 insertions(+), 4 deletions(-)
 create mode 100644 test/idris-repl-test.el