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 年之前