[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 2

[Sergei Meshveliani]

On Sat, 2018-05-26 at 00:20 -0500, Andrés Sicard-Ramírez wrote:
> Dear all,
> 
> The Agda Team is very pleased to announce the second release candidate
> of Agda 2.5.4. We plan to release 2.5.4 in one week.
> 
> [..]
>
> Enjoy the RC and please test as much as possible.


After I installed the candidate, emacs started to change the color
in .agda files to red each time I enter a symbol. To return the color, I
press C-c C-x C-d now and then.

After installing, I applied

      > agda-mode compile

This installation seems to have a different effect on emacs than
previous ones. 

May be you can give a hint about the effect?

Thanks,

------
Sergei