| .. |
|
2.2.0.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.2.10.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.2.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.2.4.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.2.6.md
|
34a46d6615
[ release notes ] Fixed typos.
|
5 years ago |
|
2.2.8.md
|
34a46d6615
[ release notes ] Fixed typos.
|
5 years ago |
|
2.3.0.md
|
34a46d6615
[ release notes ] Fixed typos.
|
5 years ago |
|
2.3.2.1.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.3.2.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.3.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.0.1.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.0.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.0.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.2.1.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.2.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.2.3.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.2.4.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.2.5.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.4.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.5.1.1.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.5.1.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.5.1.md
|
34a46d6615
[ release notes ] Fixed typos.
|
5 years ago |
|
2.5.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.5.3.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.5.4.1.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.5.4.2.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.5.4.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.6.0.1.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.6.0.md
|
064095e140
[ closed #2512 ] Split the changelog.
|
5 years ago |
|
2.6.1.1.md
|
ba5118947d
2.6.1.1 release notes in doc/release-notes
|
4 years ago |
|
2.6.1.2.md
|
73636c7ac4
[ #4749 ] Added missing `2.6.1.2.md` file.
|
3 years ago |
|
2.6.1.3.md
|
d576ae85ea
[ #5136 ] Added `2.6.1.3.md` file.
|
3 years ago |
|
2.6.1.md
|
87ee4613ff
Fix image location and formatting in moved 2.6.1 release notes. (#4800)
|
4 years ago |
|
2.6.2.1.md
|
d8b06a90ee
Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md
|
3 years ago |
|
2.6.2.md
|
1175c41210
[ #5154 ] Updated Agda 2.6.2 CHANGELOG.
|
3 years ago |
|
future.md
|
292ec221e3
[ closed #2204 ] Using markdown format.
|
8 years ago |
Andreas Abel
d8b06a90ee
Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md