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(-)
