elpasync pushed a change to branch elpa/idris-mode.
from 09de86a8f0 Merge pull request #632 from jfdm/revert-regexp
new 44d90481a3 Specify `--` as comment syntax for ipkg mode
new 116daac510 Merge pull request #635 from keram/ipkg-comment-syntax
new 248926852d Update `idris-make-lemma` to insert lemma above
new a797d7763d Merge pull request #637 from
keram/idris-make-lemma-doc-string
Summary of changes:
idris-commands.el | 28 +++++++++--
idris-ipkg-mode.el | 3 +-
test/idris-commands-test.el | 113 ++++++++++++++++++++++++++++++++++++++++++++
3 files changed, 140 insertions(+), 4 deletions(-)
