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

[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
 



reply via email to

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