caryoscelus/agda

Автор	SHA1 Сообщение	Дата
Alexander Ronald Altman	87ee4613ff Fix image location and formatting in moved 2.6.1 release notes. (#4800)	4 лет назад
Andreas Abel	148cae194f [ release-notes 2.6.1 ] link to issue #2589	4 лет назад
Andrés Sicard-Ramírez	5d2817a6d1 [ #4324 ] Created CHANGELOG for 2.6.2.	4 лет назад