[nongnu] elpa/idris-mode updated (7a7a468000 -> 3f529d72cd)

[ELPA Syncer]

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

      from  7a7a468000 Merge pull request #609 from 
keram/mla-jfdm-fix-flycheck-main
       new  4cbe153905 Move definition of *-words-of-encouragement to 
idris-repl.el
       new  7ba6e9b6ab Preserve current source code buffer as current when 
receiving input from Idris compiler
       new  1451b8ffa3 Improve documentation in inferior-idris.el
       new  d01b47c972 Apply minor documentation improvements
       new  5c6e255b92 Replace obsolete `interactive-p` function in 
idris-navigate.el and
       new  86ec653651 Improve documentation for idris-log.el
       new  03e6cdfe41 Merge pull request #612 from keram/code-impro5
       new  3cce2336b7 Allow per buffer and project controlled semantic source 
highlighting
       new  cf69a2c921 Simplify and improve semantic source highlighting code 
by:
       new  3f529d72cd Merge pull request #601 from keram/impro-sem-high


Summary of changes:
 idris-commands.el        |   4 +-
 idris-highlight-input.el | 153 ++++++++++--------
 idris-keys.el            |   7 +-
 idris-log.el             |  13 +-
 idris-navigate.el        | 409 ++++++++++++++++++++++++-----------------------
 idris-repl.el            |  28 +++-
 idris-settings.el        |   6 +
 idris-simple-indent.el   |   3 +-
 idris-warnings-tree.el   |   3 +-
 inferior-idris.el        | 106 +++++-------
 test/idris-tests.el      |  45 ++++++
 11 files changed, 431 insertions(+), 346 deletions(-)