elpasync pushed a change to branch elpa/idris-mode.
from ef6768244b Merge pull request #588 from
keram/fix-notes-over-code-buffer-on-init
new 4f654a8b20 Reset Idris working directory on closing idris connection
new 3508be6919 Comment out `if` statement in
`idris-possibly-make-dirty` as
new 505ce46cbf Align idris-load-file and idris-load-file-sync
`idris-eval`
new 723e778486 Fix indentation in documentation for
`idris-semantic-source-highlighting`
new c84ed5a733 Remove idris-mode event hooks on closing Idris connection
new 8a3229cfe9 Merge pull request #589 from keram/minor-impro
new ac029bc67e Trim left whitespace from Idris add-clause response
new 3506c39f5e Merge pull request #590 from
keram/fix-indent-add-clause-idris2
new fd0d7b7918 Make sure the current file is loaded when listing holes
new d6f54bb121 Merge pull request #594 from
keram/list-holes-no-process-main
new 9e931bf1ff Mark `idris-list-holes-on-load` as obsolete in favour of
`idris-list-holes`
new e1d950e4fc Merge pull request #592 from keram/holes-on-load-hook
Summary of changes:
idris-commands.el | 49 ++++++++++++++++++++++++-------------------------
idris-prover.el | 6 ------
idris-settings.el | 32 +++++++++++++++++++++++++-------
idris-tests.el | 37 +++++++++++++++++++++++++++++++++++--
inferior-idris.el | 11 ++++++++++-
5 files changed, 94 insertions(+), 41 deletions(-)
