[nongnu] elpa/idris-mode updated (e1d950e4fc -> a47903d2e1)

[ELPA Syncer]

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

      from  e1d950e4fc Merge pull request #592 from keram/holes-on-load-hook
       new  060d960380 Update documentation strings to follow
       new  c7c5abaea7 Merge pull request #598 from keram/docs-impro
       new  446c67cec7 Ensure Idris connection when running interactive cmd 
`idris-thing-at-point`
       new  bf262eb187 Clear state in idris-list-holes test
       new  a47903d2e1 Merge pull request #599 from 
keram/idris-type-at-point-with-process


Summary of changes:
 docs/documentation.tex |  2 +-
 idris-commands.el      | 85 ++++++++++++++++++++++++++------------------------
 idris-common-utils.el  | 15 +++++----
 idris-events.el        |  2 +-
 idris-hole-list.el     |  8 ++---
 idris-ipkg-mode.el     | 32 +++++++++----------
 idris-log.el           | 20 ++++++------
 idris-mode.el          |  4 +--
 idris-prover.el        | 44 ++++++++++++--------------
 idris-repl.el          | 26 +++++++--------
 idris-settings.el      | 73 +++++++++++++++++++++----------------------
 idris-simple-indent.el |  6 ++--
 idris-syntax.el        |  4 +--
 idris-tests.el         | 28 +++++++++++++++++
 idris-tree-info.el     |  9 +++---
 idris-warnings-tree.el | 17 +++++-----
 idris-warnings.el      |  8 ++---
 inferior-idris.el      | 51 ++++++++++++++----------------
 readme.markdown        |  6 ++--
 19 files changed, 228 insertions(+), 212 deletions(-)