Added support for quoting levels
Added support for quoting levels to the changelog
Merge branch 'jespercockx-maint-2.4.2' into maint-2.4.2
Merge branch 'maint-2.4.2'
[ CHANGELOG ] Fixed whitespace issues
Merge branch 'maint-2.4.2'
[ issue 1269 ] Moved test cases from lib-succeed to succeed
Merge branch 'maint-2.4.2'
[ Issue 1288 ] Fixed by rejecting {-# NO_TERMINATION_CHECK #-}.
[ Issue 1288 ] CHANGELOG
[ Issue 1288 ] Replaced pragma NO_TERMINATION_CHECK in testsuite.
Merge branch 'maint-2.4.2'
[ Issue 1288 ] Removed NO_TERMINATION_CHECK in examples.
Merge branch 'maint-2.4.2'
[ issue 1283 ] Added type signatures
Removed unused (and duplicated) combinator ($>)
Merge branch 'maint-2.4.2'
[ Quote.hs ] Added local signatures
[ Level.hs ] Added type signature
Revert "Added support for quoting levels to the changelog"

This reverts commit 0821850a2baf2f5a314f30ffde6fc9ca48bd0bdf.

Quoting level isn't a new feature (see https://github.com/agda/agda/pull/17#issuecomment-58777304).

Conflicts:
	CHANGELOG