[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Sergei Meshveliani]

On Wed, 2018-05-23 at 08:38 -0500, Andrés Sicard-Ramírez wrote:
> On 23 May 2018 at 08:22, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > On Sat, 2018-05-19 at 15:33 -0500, Andrés Sicard-Ramírez wrote:
> >> Dear all,
> >>
> >> The Agda Team is very pleased to announce the first release candidate
> >> of Agda 2.5.4. We plan to release 2.5.4 in one week.
> >>


In CHANGELOG.md  in

> * The `_⊆_` relation has been moved out of the `Membership` modules to
> new modules `List.Relation.Sublist.(Setoid/Propositional)`. 
> Consequently the `mono` proofs that were in 
> `Membership.Propositional.Properties` have been moved to 
> `Relation.Sublist.Propositional.Properties`.


the prefix "Data." is needed in some module names.
Maybe there are more such places.

--
SM