2016-02-15 9:23 GMT-05:00 Sergei Meshveliani <mechvel at botik.ru>: > Concerning testing the 2.5 candidate: > I have tested Development Agda of February 15, 2016 on DoCon-A. > > It looks all right. Great! Thank you for your feedback! -- Andrés