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 години