elpasync pushed a change to branch elpa/idris-mode.
from a060688b5c Merge pull request #604 from keram/idris-xref-v1
new 1b30ca6334 Improve documentation for `idris-info-for-name`
new a47811be8b Check for semantic property `key` having non empty
string value
new 3e7cbb331f Idris2: Use `:interpret .. :printdef` command to fetch
symbol definition
new 7697b8b95e Mark `idris-print-definition-of-name` as obsolete in
favour of
new 253e2ad909 Merge pull request #605 from keram/print-def
Summary of changes:
idris-commands.el | 32 ++++++++++++++++++++++----------
idris-common-utils.el | 2 +-
2 files changed, 23 insertions(+), 11 deletions(-)
