Adding mnemonic comments
Changed a doc comment to mention an edge case
Added "record" to the list of toplevel keywords
Let `idris-indentation-peek-token` know about the "record" keyword
Stopped recognizing some keywords from haskell
Added handling for record update syntax in expression context

Also removed handling of more haskell keywords in expression context!
Removed erroneous `current-token` update
Merge pull request #61 from trillioneyes/syntax-error-where

Added indentation handling for the `record` keyword
Add semantic highlighting to REPL.

Depends on https://github.com/idris-lang/Idris-dev/pull/801

This patch does the following: for expression evaluation and :t at the
REPL, it annotates the returned text with colors (as is done in the
console REPL) as well as tooltips. Thus far, these tooltips show
fully-qualified names, but in the future they can show docstrings,
types, etc.
Merge pull request #63 from david-christiansen/semantic-highlighting

Add semantic highlighting to REPL.
Semantic highlighting in C-c C-t output
Merge pull request #64 from david-christiansen/semantic-highlighting

Semantic highlighting in C-c C-t output
added tex source of the documentation
inherit from prog-mode rather than fundamental

fixes #62
Merge pull request #67 from hannesm/fix-62

inherit from prog-mode rather than fundamental
Show ! in the modeline while Idris is busy

Now, in Idris code and REPL buffers, a ! is shown while the interpreter
is taking care of a request from the user.
actually pop to *idris-notes* buffer if there are warnings. if not, kill the *idris-notes* buffer
focus error when selecting in *idris-notes*
pop to repl only if it was freshly made
Merge pull request #69 from david-christiansen/interpreter-status

Show ! in the modeline while Idris is busy