[ refactored ] hiddenLamdaOrHole in TC.Rules.Term.
[ refactored ] Range handling in hidden lambda insertion.
[ refactored ] conditions when to insert hidden lambda.
Support for time 1.5.*
[ issue 1103 ] Fixed documentation

Not only Termination.SparseMatrix triggers a warning under GHC 7.0.4.
[ issue 1103 ] Cosmetic changes
[ issue 1103 ] Removed unnecessary $
[ issue 1103 ] Added TypeSynonymInstances language extension
[ issue 1103 ] Added GHC 7.0.4 to the tested-with field
Revert "Support for time 1.5.*"

(It is to early for supporting time 1.5)

This reverts commit 5284bb7fadd4166f5b297af3b56f6abad8881b3f.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ refactor ] Removed (:->) alias for Map.

Map k v is standard, k :-> v is not a terrible boost of readability.
Quite the contrary, imho.
[ issue 1103 ] Improved documentation
[ clean ] Removed commented out CoCase in CompiledClause
[ cosmetics ] Fixed some whitespace in CompiledClauses.
Fixed revert support for time 1.5*
[ refactor ] Removed uses of :-> from Epic.Injection.
[ Issue 1281 ] Fixed by optimistic interpretation of metas.

If the termination checker encounters a meta in a call argument, it will
assume the best possible instance for it.  This way, the termination
checker will not complain early while you are still constructing your program.
[ Issue 1281 ] Test case.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2