[ issue619 ] allow quote in patterns
[ issue619 ] release notes
[ issue619 ] test case
[ issue619 ] fixed pretty printing of quote in patterns
[ issue619 ] test case for quote pretty printing
[ test ] use $(AGDA_BIN) instead of agda in interaction test suite
[ emacs ] Fixed bug in Conor colour mode
Merge branch 'emacs-colors'
[ issue619 ] print literal QNames as "quote x" also in terms
Merge remote-tracking branch 'upstream/master'