elpasync pushed a change to branch elpa/idris-mode.
from 9b743421cd5 Merge pull request #651 from
keram/interactive-user-errors
new 62dea9e0922 Add support for `xref-find-references`
new b6ba424fdb5 Merge pull request #652 from keram/xref-find-references
new f38456aeb06 Hide notes buffer whe no notes available.
new 85928dc4cc2 Merge pull request #648 from keram/notes-buffer-impro
Summary of changes:
idris-mode.el | 4 +++-
idris-warnings-tree.el | 19 ++++++++++---------
2 files changed, 13 insertions(+), 10 deletions(-)
