Cleaned up the docs
fold doc comments
add syntax highlighting to response window
put responsewindow to the bottom
fix response window
add IdrisShowDoc function
Merge pull request #13 from japesinator/fix/master/improve_docs

Cleaned up the docs
fix idris mode in MacVim

fixes a problem in MacVim where idris mode doesn't work if idris and MacVim are in different working directorys
Add comments setting to make vim recognize Idris comments
Merge pull request #15 from pminten/comments-setting

Add comments setting to make vim recognize Idris comments
Merge pull request #14 from tauli/patch-1

fix idris mode in MacVim
Add \l for :makelemma
Merge branch 'master' of github.com:idris-hackers/idris-vim
Search for definition on \l
Add \b command, for adding class body

Just calls :addclause, like \d, but uses a different method for finding
the name of the class (second word on line, rather than word before a :)
don't highlight colon with hlsearch turned on
fix interactive commands
save on load
clear response window after successful reload
Use new :lto command to only load to current line

So you can have any old junk after the bit you're working on, and still
safely work interactively.