[NonGNU ELPA] Idris-Mode version 1.1.0

[ELPA update]

Version 1.1.0 of package Idris-Mode has just been released in NonGNU ELPA.
You can now find it in M-x list-packages RET.

Idris-Mode describes itself as:

  =================================
  Major mode for editing Idris code
  =================================

More at https://elpa.nongnu.org/nongnu/idris-mode.html

## Summary:

  This is an Emacs mode for editing Idris code. It requires the latest
  version of Idris, and some features may rely on the latest Git version of

## Recent NEWS:

# Changes

This file documents the user-interface changes in idris-mode, starting
with release 0.9.19.

## master (unreleased)

### New features

+ [cab781537f](https://github.com/idris-hackers/idris-mode/commit/cab781537f): 
Improved flycheck integration for Idris1 and Idris2.
+ [c9b2a4bee6](https://github.com/idris-hackers/idris-mode/commit/c9b2a4bee6): 
Xref integration to support "jump to definition" features.
+ [103f1e5fbf](https://github.com/idris-hackers/idris-mode/commit/103f1e5fbf): 
New command `M-x idris-switch-to-last-idris-buffer` to move point from Idris 
repl buffer to Idris source code buffer.
  It is opposite of `M-x idris-switch-to-repl` and uses same key binding by 
default (`C-c C-z`).
+ [e350ed25a5](https://github.com/idris-hackers/idris-mode/commit/e350ed25a5): 
New command `idris-compile-and-execute`. Backport of 
`idris2-compile-and-execute` from 
https://github.com/idris-community/idris2-mode/pull/20/files with preserving 
backward compatibility for Idris 1.
+ [e350ed25a5](https://github.com/idris-hackers/idris-mode/commit/e350ed25a5): 
New command `idris-intro`. Backport of `idris2-intro from` 
https://github.com/idris-community/idris2-mode/pull/21/files
+ [cc098578fe](https://github.com/idris-hackers/idris-mode/commit/cc098578fe): 
Restore position after case split with improved user experience. Related to 
https://github.com/idris-hackers/idris-mode/pull/465
+ [3cce2336b7](https://github.com/idris-hackers/idris-mode/commit/3cce2336b7): 
More granular configuration for enabling semantic source highlighting.

### Changes

+ [b6a5b2ec60](https://github.com/idris-hackers/idris-mode/commit/b6a5b2ec60): 
Kill Idris buffer and it's window if it was the only buffer in windows history.
+ [d1a9171fd7](https://github.com/idris-hackers/idris-mode/commit/d1a9171fd7): 
Jump to last Idris Code buffer when we quit buffer
+ [cd734fdc7a](https://github.com/idris-hackers/idris-mode/commit/cd734fdc7a): 
Write Idris repl history file to `~/.idris2/` directory.
+ [8329b73be8](https://github.com/idris-hackers/idris-mode/commit/8329b73be8): 
Move "words of encouragement" from mini-buffer to Idris repl banner.
+ [71ab6a35e3](https://github.com/idris-hackers/idris-mode/commit/71ab6a35e3): 
Update semantic source highlighting file only in changed code parts reducing 
buffer "flickering".
+ [e5ef933366](https://github.com/idris-hackers/idris-mode/commit/e5ef933366): 
Only display Idris repl buffer on load without moving the point.
+ [9e931bf1ff](https://github.com/idris-hackers/idris-mode/commit/9e931bf1ff): 
Make `idris-list-holes-on-load` obsolete in favour of `idris-list-holes` 
command.
+ [446c67cec7](https://github.com/idris-hackers/idris-mode/commit/446c67cec7): 
Ensure Idris connection established and current file loaded  when running 
interactive command `idris-thing-at-point`
+ [cb71c82e13](https://github.com/idris-hackers/idris-mode/commit/cb71c82e13): 
Make commands `idris-pop-to-repl` and `idris-switch-to-output-buffer` obsolete 
in favour of `idris-switch-to-repl` command.
+ [7697b8b95e](https://github.com/idris-hackers/idris-mode/commit/7697b8b95e): 
Make `idris-print-definition-of-name` obsolete in favour of 
`idris-print-definition-of-name-at-point`.
+ [600c8f584b](https://github.com/idris-hackers/idris-mode/commit/600c8f584b): 
Make Idris info buffers derived from Help mode making handling them more align 
with general Emacs conventions.

### Bug fixes

+ [3c3a87c66c](https://github.com/idris-hackers/idris-mode/commit/3c3a87c66c): 
Fix failure to find beginning of function type definition when lifting hole and 
function name contains underscore.
+ [62c3ad2b0d](https://github.com/idris-hackers/idris-mode/commit/62c3ad2b0d): 
Do not display unnecessary `*idris-process*` buffer when loading file.
+ [486be1b740](https://github.com/idris-hackers/idris-mode/commit/486be1b740): 
Improve `idris-case-dwim` to make case expression from hole in edge case point 
positions.
+ [8ff4a2d9d5](https://github.com/idris-hackers/idris-mode/commit/8ff4a2d9d5) 
[4f654a8b20ba6](https://github.com/idris-hackers/idris-mode/commit/4f654a8b20ba6)
 [c84ed5a733](https://github.com/idris-hackers/idris-mode/commit/c84ed5a733): 
Improve resetting state on `idris-quit` making it easier to switch Idris 
version or restart connection.
...
...