emacs-elpa-diffs
[Top][All Lists]
Advanced

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]