[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 2

Nils Anders Danielsson nad at cse.gu.se
Tue May 29 14:51:21 CEST 2018


On 2018-05-29 13:48, Sergei Meshveliani wrote:
> May be you can give a hint about the effect?

See "Light highlighting is performed dynamically, even if the file is
not loaded" in the changelog.

-- 
/NAD


More information about the Agda mailing list