Change argument order for mkStrFn
Update version number to 0.9.7
Minor tutorial updates
evTree does not handle ImpossibleCase
Check the type of a proof matches the type of the goal!
Merge pull request #218 from raichoo/master

trivial fix
vim: added reflect tactic
vim: added tactics block
Merge pull request #219 from raichoo/master

Some vim adjustments
Backend support for Java
Missing case in Idris.Parser

This module:




    module main




    using (A : Type) 
      data W : Type where
        Ok : (r : A -> A -> Type) -> W




gave the error 




    src/Idris/Parser.hs:(215,23)-(223,86): Non-exhaustive patterns in case
    
which seemed to be repaired by this amendment for the [] case.
Merge pull request #221 from JanBessai/master

Backend support for Java
Merge pull request #222 from michaelt/master

Missing case in Idris.Parser
Added typeclass for uninhabited types

This typeclass can make pleasing the completion checker much easier, as well
as when using a contradiction.
Merge pull request #225 from david-christiansen/uninhabited

Added typeclass for uninhabited types
vim: added dsl notation
Complete identifiers following non-whitespace

Now, identifiers following non-whitespace, non-identifier characters (such as
operators or parentheses) will also be completed successfully.
Fix comedy error in termination checker
Only use metavariables as completions for :p and :prove
Stop completion of names that are prefixes of others

Previously, when completing "plus", it was accepted. Now, it tries completing
with "plusAssociative", "plusCommutative", etc, and the user has to press
space.