[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode updated (d08fd3ec78 -> 0cae4b8086)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode updated (d08fd3ec78 -> 0cae4b8086) |
Date: |
Thu, 1 Dec 2022 17:59:42 -0500 (EST) |
elpasync pushed a change to branch elpa/idris-mode.
from d08fd3ec78 Merge pull request #569 from keram/idris2-mode-issues-16
new 216945f4a6 Fix highlight source for Idris 1 protocol >= 1
new 2fab0a7ea9 Extract `idris-highlight-source-file` from
`idris-load-file`
new 0cae4b8086 Merge pull request #575 from keram/idris1-highlight-fix
Summary of changes:
idris-commands.el | 27 +--------------------------
idris-highlight-input.el | 26 ++++++++++++++++++++++++++
2 files changed, 27 insertions(+), 26 deletions(-)
- [nongnu] elpa/idris-mode updated (d08fd3ec78 -> 0cae4b8086),
ELPA Syncer <=