[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode updated (a060688b5c -> 253e2ad909)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode updated (a060688b5c -> 253e2ad909) |
Date: |
Fri, 6 Jan 2023 05:59:20 -0500 (EST) |
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(-)
- [nongnu] elpa/idris-mode updated (a060688b5c -> 253e2ad909),
ELPA Syncer <=
- [nongnu] elpa/idris-mode 1b30ca6334 1/5: Improve documentation for `idris-info-for-name`, ELPA Syncer, 2023/01/06
- [nongnu] elpa/idris-mode a47811be8b 2/5: Check for semantic property `key` having non empty string value, ELPA Syncer, 2023/01/06
- [nongnu] elpa/idris-mode 7697b8b95e 4/5: Mark `idris-print-definition-of-name` as obsolete in favour of, ELPA Syncer, 2023/01/06
- [nongnu] elpa/idris-mode 3e7cbb331f 3/5: Idris2: Use `:interpret .. :printdef` command to fetch symbol definition, ELPA Syncer, 2023/01/06
- [nongnu] elpa/idris-mode 253e2ad909 5/5: Merge pull request #605 from keram/print-def, ELPA Syncer, 2023/01/06