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

+ Sorted language extensions
+ Removed duplicates
Merge branch 'maint-2.4.0'

Conflicts:
	src/full/Agda/Auto/NarrowingSearch.hs
	src/full/Agda/Interaction/InteractionTop.hs
	src/full/Agda/Interaction/Options.hs
	src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs
	src/full/Agda/Termination/CallGraph.hs
	src/full/Agda/Termination/Inlining.hs
	src/full/Agda/Termination/Monad.hs
	src/full/Agda/Termination/SetOfCallsCallGraph.hs
	src/full/Agda/Termination/TermCheck.hs
	src/full/Agda/TypeChecking/CheckInternal.hs
	src/full/Agda/TypeChecking/CompiledClause/Match.hs
	src/full/Agda/TypeChecking/DropArgs.hs
	src/full/Agda/TypeChecking/MetaVars.hs
	src/full/Agda/TypeChecking/Patterns/Abstract.hs
	src/full/Agda/TypeChecking/Reduce/Monad.hs
	src/full/Agda/TypeChecking/SizedTypes/Solve.hs
	src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs
Commented out unnecessary CPP language extension
Merge branch 'maint-2.4.0'
Sorted TemplateHaskell language extension.
Merge branch 'maint-2.4.0'
Oops, fixed sort of the TemplateHaskell extension
Merge branch 'maint-2.4.0'
New syntactic sugar for applying reflection-based tactics

tactic f  --> quoteGoal g in unquote (f g)
tactic f | e1 | .. | en ->
	quoteGoal g in unquote (f g) e1 .. en
[ tactic ] release notes
[ tactic ] test case
Module contents command now simplifies the output types