elpasync pushed a change to branch elpa/idris-mode.
from 7211af2fc8 Merge pull request #670 from keram/idris-repl-compl
new 4305a9d7ad Ensure Idris is running and current Idris is file loaded
when using `idris-switch-to-repl`
new 115b409d68 Allow idris-load-file-sync to ignore errors
new d9576861a8 Suppress Idris errors when loading a file in
`idris-switch-to-repl`
new d48dbface3 Load current file only if command executed with prefix.
new b21ed26ede Experimental paste selected region into Idris repl
new 5442961d09 Merge pull request #643 from keram/jump-to-repl-from-cold
new f492548084 Extract `(car (idris-eval ..` in commands to
`idris-user-eval`
new a04bf0c317 Move call to idris-list-compiler-notes from idris-eval
to idris-user-eval
new 22cc1bf237 Merge pull request #650 from keram/idris-user-eval
Summary of changes:
idris-commands.el | 76 ++++++++++++++++++++++++++++++++++---------------------
idris-repl.el | 39 +++++++++++++++++++++++-----
inferior-idris.el | 13 ++++------
3 files changed, 85 insertions(+), 43 deletions(-)
