elpasync pushed a change to branch elpa/idris-mode.
from 7a7a468000 Merge pull request #609 from
keram/mla-jfdm-fix-flycheck-main
new 4cbe153905 Move definition of *-words-of-encouragement to
idris-repl.el
new 7ba6e9b6ab Preserve current source code buffer as current when
receiving input from Idris compiler
new 1451b8ffa3 Improve documentation in inferior-idris.el
new d01b47c972 Apply minor documentation improvements
new 5c6e255b92 Replace obsolete `interactive-p` function in
idris-navigate.el and
new 86ec653651 Improve documentation for idris-log.el
new 03e6cdfe41 Merge pull request #612 from keram/code-impro5
new 3cce2336b7 Allow per buffer and project controlled semantic source
highlighting
new cf69a2c921 Simplify and improve semantic source highlighting code
by:
new 3f529d72cd Merge pull request #601 from keram/impro-sem-high
Summary of changes:
idris-commands.el | 4 +-
idris-highlight-input.el | 153 ++++++++++--------
idris-keys.el | 7 +-
idris-log.el | 13 +-
idris-navigate.el | 409 ++++++++++++++++++++++++-----------------------
idris-repl.el | 28 +++-
idris-settings.el | 6 +
idris-simple-indent.el | 3 +-
idris-warnings-tree.el | 3 +-
inferior-idris.el | 106 +++++-------
test/idris-tests.el | 45 ++++++
11 files changed, 431 insertions(+), 346 deletions(-)
