[ build ] command line CABAL_OPTIONS shouldn't override Makefile options
[ issue1213 ] fixed shadowing bug in occursCheck on levels
[ issue1213 ] test case
[ hTags ] Fixed file handle leak.
[ tags ] fixed path in src/full/Makefile
[ tags ] fixed Makefile dependency for hTags
Preparation for commenting out unnecessary CPP language extension

+ Sorted language extensions
+ Removed duplicates
Commented out unnecessary CPP language extension
Sorted TemplateHaskell language extension.
Oops, fixed sort of the TemplateHaskell extension
[ configure.ac ] Updated Alex and Happy versions.
Reduce primitives during simplification
[ test ] use $(AGDA_BIN) instead of agda in interaction test suite
[ issue 1216 ] Fixed by giving proper error message.
Undo accidentially committed changes to Makefile
[ comment ] level Max[] is ClosedLevel 0.
[ debug ] fitsIn: properly raised sort to avoid confusing debug messages
[ refactor, comments ] Conversion.equalSort.
[ issue 1205 ] Fixed by postponing leqSort problems involving dLub.
Added bugfixes to CHANGELOG.