elpasync pushed a change to branch elpa/idris-mode.
from 1dc558ad24 Merge pull request #561 from jfdm/fix-test
new 3c3a87c66c Fix failure to find beginning of function type definition
new ca860db9ae Merge pull request #562 from keram/make-lemma-underscore
new 62c3ad2b0d Make empty string always return value from
`idris-process-filter`
new 43e8a6e723 Merge pull request #564 from
keram/fix-encouragement-in-process-buffer
new 8329b73be8 Move "words of encouragement" from minibuffer to Idris
repl banner
new 67e06eccbd Merge pull request #565 from
keram/words-of-encouragement-in-repl-banner
Summary of changes:
idris-commands.el | 4 ++--
idris-repl.el | 4 +++-
inferior-idris.el | 8 +++-----
test-data/MakeLemma.idr | 6 ++----
4 files changed, 10 insertions(+), 12 deletions(-)
