 Andrés Sicard-Ramírez
|
16faf8a529
Updated releases procedures.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
1e078ad791
[ release procedures ] Updated step for the copyright year range.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
464444fced
[ releases procedures ] Updated GHC and cabal-install versions.
|
3 years ago |
 Andrés Sicard-Ramírez
|
2c433222ad
[ release procedures ] Updated description.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
3615282b88
[ release procedures ] Added stack-XYZ.yaml files.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
cee43ea309
[ release procedures ] Added cubical library.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
332d6a1b0d
[ releases procedures ] Used cabal-install 3.2.0.0.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
7c78ef06e5
[ releases procedures ] Added file from the user manual.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
189cdcc275
Updated releases notes.
|
4 years ago |
|
Andrés Sicard-Ramírez
|
1fa066ff59
Updated releases procedures.
|
4 years ago |
|
Andrés Sicard-Ramírez
|
fff701f5ab
[ release procedures ] Updated some steps.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
662e545add
[ release procedures ] Updated.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
80558ae951
[ release procedures ] Updated steps.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
fbed305343
[ release procedures ] Updated obselete step.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
20a4bd6069
[ #4216, release procedure ] Added entry for doc/user-manual.pdf.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
337c34ae72
[ releases-procedure ] The RC number won't be include in the tag.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
83cb9fe857
[ releases-notes ] Added note on the year of the user manual.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
e61495c7b4
[ releases procedures ] Added note related to white-space issues.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
42719b2b83
[ release notes ] Added release branch to Travis.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
0762e94f50
[ release tools ] Added `change-version.bash` script.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
afa864349f
[ user manual ] Added link the the LICENSE file.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
2faff03275
[ releases notes ] Added contributor entry.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
bd338484dd
Updated releases procedures.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
93276114dd
[ releases notes ] Made some changes.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
d5acdfcc47
Updated releases notes
|
6 years ago |
|
Andrés Sicard-Ramírez
|
bbd34db614
[ release procedures ] Updated upload procedures.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
9950653c56
[ #2884 ] Added entry to the releases procedures.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
057b65a241
[ release procedures ] Included the list of contributors.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
1a550f88e7
[ release procedures ] Removed test of `cabal haddock`.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
4847f4382e
[ agda-releases ] Added missing file extensions.
|
7 years ago |
