elpasync pushed a change to branch elpa/idris-mode.
from 0cae4b8086 Merge pull request #575 from keram/idris1-highlight-fix
new d6ac9524f6 Simplify `idris-test-idris-type-search` by removing
loading a file
new 8a4ce46373 Delete AddClause.ibc between and after tests
new d0d609bff7 Include tests from idris-navigate.el in idris-tests.el
new ee551230ed Merge pull request #579 from keram/tests-impro
new 71ab6a35e3 [semantic-highlight] Remove and rebuild overlays in file
on reload only in changed area
new 7ebd8e721b Merge pull request #581 from keram/highlight-partial
new 928f785bb7 Remove conditional for srcdir in `idris-load-file` used
to switch work directory
new 6fbd9cff31 Improve `idris-switch-working-directory` by
new 4a36953e76 Merge pull request #580 from
keram/load-file-switch-dir-idris2
Summary of changes:
idris-commands.el | 30 ++---
idris-highlight-input.el | 53 +++++----
idris-navigate.el | 292 -----------------------------------------------
idris-test-utils.el | 67 ++++++++---
idris-tests.el | 276 ++++++++++++++++++++++++++++++++++++++++++--
5 files changed, 368 insertions(+), 350 deletions(-)
