[ splitResult ] Interaction test case.
[ splitResult ] makeCase with no vars now tries to split on result
(introducing projection patterns).
[ splitResult ] documented in CHANGELOG.
Merge branch 'maint-2.4.0' into splitResult
[ splitResult ] Introduce pattern variables before splitting on result.
This handles function types ending in record type.
[ splitResult ] Updated test case to work with function types.
[ splitResult ] updated CHANGELOG to include function types.
Merge branch 'splitResult' into maint-2.4.0
Merge branch 'maint-2.4.0'
[ git ] Added more author spellings to .mailmap
[ license ] Added everyone > 3 patches to list of copyright holders.
[ Agda.cabal ] Added more authors.
Merge branch 'maint-2.4.0'
Merge pull request #8 from joaopizani/master

[ issue1241 ] Fixed issue #1241, still room for refactoring
[ refactor ] A use of fromMaybe.
[ Issue1241 ] Test case for --latex in sub dir.
[ issue1241 ] Fixed issue #1241, still room for refactoring
Merge branch 'maint-2.4.0'
[ test ] Fixed list of excluded successful tests.
Merge branch 'maint-2.4.0'