Added column name to source
Added 'srand' to Effect.Random
Fixed flaw with FC dependency by making FC equality always return true.
If any fc equality is needed just use FC' fc to convert. Fixes
idris-lang/Idris-dev#550
Changed the Idris version back, fixed the IBC version instead
Merge branch 'feature/columntracking' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/columntracking
Addition of indentation property support.
Fixes indentation property of arguments to tactics such that they are
parsed correctly. Fixes idris-lang/Idris-dev#551.
Removed types from keyword list
Removed keyword from CoreParser too
EXPERIMENTAL: Solve more implicits by matching

If any implicits remain after elaboration, attempt to solve them by
matching.
Note: This may be a mis-feature. Some implicits may be solved which are
not unique - we should consider whether this needs to be turned on
explicitly, or if there should be a warning.
Merge branch 'master' of github.com:edwinb/Idris-dev
Add a final unification step

Since solving matched implicits may help solve remaining problems.
Merge pull request #557 from ahmadsalim/feature/fixindent

Addition of indentation property support.
Merge pull request #558 from ahmadsalim/feature/notypesaskeywords

Removed types from keyword list
Bring CHANGELOG up to date
Add exception handler to main

The main function now handles exceptions, printing them to the console. Fixes
specifically. Thus, main's exception handler decorates the message with
"Uncaught error".
Add error object for failure to load file
Merge pull request #561 from david-christiansen/issue/560

Add an exception handler to main
Merge branch 'master' of github.com:edwinb/Idris-dev
Add CaseSplit.hs and Command (not yet implemented)

Just the skeleton - intention is that case split on a variable and
a clause will produce a list of new clauses, with dependencies expanded,
when that variable is split.
Java RTS Version bump to include isNull,
Maven POM gets installed correctly