 Andrés Sicard-Ramírez
|
9950653c56
[ #2884 ] Added entry to the releases procedures.
|
il y a 7 ans |
|
Andrés Sicard-Ramírez
|
e3c646bbe5
[ #2844 ] Added item to the releases procedures.
|
il y a 7 ans |
|
Andrés Sicard-Ramírez
|
057b65a241
[ release procedures ] Included the list of contributors.
|
il y a 7 ans |
 Andreas Abel
|
c6a053d228
Updated author list also in Agda.cabal
|
il y a 7 ans |
|
Andreas Abel
|
91c5a2113b
notes/agda*releases.txt: link to the list of contributors [ci skip]
|
il y a 7 ans |
|
Andrés Sicard-Ramírez
|
1a550f88e7
[ release procedures ] Removed test of `cabal haddock`.
|
il y a 7 ans |
|
Andrés Sicard-Ramírez
|
86ab2d5a79
[ release notes procedures ] Fixed typo.
|
il y a 7 ans |
|
Andrés Sicard-Ramírez
|
6ae503d6e9
[ closed #2663 ] Fixed `location` for the `this` repository.
|
il y a 7 ans |
|
Andrés Sicard-Ramírez
|
4847f4382e
[ agda-releases ] Added missing file extensions.
|
il y a 7 ans |
