[ refactor ] Named fields of Fixity constructors.
[ cosmetics ] Fixity: fixed spacing, added some comments.
[ refactor ] Made tuple NewNotation into a record.
[ fixed ] printing of fixity declarations in error msgs.
[ untabify ] Syntax.Concrete.Pretty
[ comment ] where to find the Pretty instance for Fixity.
[ new ] utilities caseList and listCase.

For case distinction over lists.
[ refactored ] slightly and commented the translation of operator applications.
[ whitespace ] untabify and uniform indentation in Concrete.hs.
[ commented ] inner workings of niceDeclarations.
[ test case ] for syntax declaration that does not use all binders.
[ ErrorReporting ] Capitalization of parser errors.
[ refactored ] and commented Agda.Syntax.Notation.
Fixed compilation with GHC 7.0.4 and GHC 7.2.2

In these versions of GHC, Data.Monoid doesn't export (<>).
Merge branch 'maint-2.4.2'
[ removed ] unused Concrete.Operators.buildParser.

Had been replaced by buildParsers long ago.
[ moved ] definitions to bring haddocumentation back to buildParsers.
[ moved ] notation utils from Operators to Fixity and Notation.
[ removed ] unused exports of Concrete.Operators.
[ removed ] unused undocumented functions paren and mparen from Operators.