[ issue 1290 ] fixed by checking for definitions by copatterns
[ haddock ] Documentation for Utils.Suffix.
[ issue 1290 ] fixed by checking for definitions by copatterns
[ issue 1290 ] test case
[ issue 1290 ] test case
Merge branch 'maint-2.4.2'
[ LANGUAGE pragma ] Fixed indentation
[ new ] Basic instances for Pretty.
Merge branch 'maint-2.4.2'
[ refactor ] Pretty instances for Concrete.Name.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ Issue 1292 ] Fixed.

Arguments *ending* in data qualify for structural descent (in
--without-K), not only data arguments.
[ Issue 1292 ] Test case.
[ Issue 1292 ] Size also qualifies for structural descent.
[ Issue 1292 ] Test case for Size-recursion --without-K.
[ Issue 1023 ] test case was missing.
[ Issue 1023 ] Test case for coinduction.
[ Issue 1023 ] CHANGELOG (should have been in 2.4.2).
Merge branch 'maint-2.4.2'
[ new ] Agda.Utils.Pretty.prettyShow