[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 2e4b5c6: [ admin ] Updates to the CHANGELOG.
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode 2e4b5c6: [ admin ] Updates to the CHANGELOG. |
Date: |
Thu, 4 Nov 2021 06:57:46 -0400 (EDT) |
branch: elpa/idris-mode
commit 2e4b5c6a979b04d9383c44423388f6cb0988f14f
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
[ admin ] Updates to the CHANGELOG.
---
CHANGES.markdown | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/CHANGES.markdown b/CHANGES.markdown
index 2018ff6..9e74cae 100644
--- a/CHANGES.markdown
+++ b/CHANGES.markdown
@@ -5,8 +5,17 @@ with release 0.9.19.
## 1.1
-+ More tests and test support for Idris1 and Idris2.
++ New customisation settings:
+ + `idris-displat-words-of-encouragement` toggles showing words of
encouragement.
+ + `idris-completion-via-compiler` toggles use of the Idris compiler to
provide completion.
+ + Tab in the repl still uses `completion-at-point`.
++ Improvements to testing harness, with support for testing against Idris2.
++ Migration of CI from Travis to GitHub Actions
+ + Deprecation of older emacs for testing.
+ More support for IDE Protocol Version2 (i.e. Idris2).
++ Upstream changes as contributed to the Idris2-Mode on idris-community.
+ + Improvements to Makefile
+ + Changes to semantic faces
## 1.0
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/idris-mode 2e4b5c6: [ admin ] Updates to the CHANGELOG.,
ELPA Syncer <=