[ 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.*
Merge branch 'maint-2.4.2'
[ 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
Merge branch 'maint-2.4.2'
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'
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
Merge branch 'maint-2.4.2'
[ clean ] Removed commented out CoCase in CompiledClause
[ cosmetics ] Fixed some whitespace in CompiledClauses.
Fixed revert support for time 1.5*