 Andreas Abel
|
1dd6cd7c86
[ fix #5473 ] give `agda.sty` a version and a date
|
преди 3 години |
 Andrés Sicard-Ramírez
|
16faf8a529
Updated releases procedures.
|
преди 3 години |
|
Andrés Sicard-Ramírez
|
1e078ad791
[ release procedures ] Updated step for the copyright year range.
|
преди 3 години |
|
Andrés Sicard-Ramírez
|
464444fced
[ releases procedures ] Updated GHC and cabal-install versions.
|
преди 3 години |
 Andrés Sicard-Ramírez
|
2c433222ad
[ release procedures ] Updated description.
|
преди 3 години |
|
Andrés Sicard-Ramírez
|
3615282b88
[ release procedures ] Added stack-XYZ.yaml files.
|
преди 3 години |
|
Andrés Sicard-Ramírez
|
cee43ea309
[ release procedures ] Added cubical library.
|
преди 3 години |
|
Andrés Sicard-Ramírez
|
332d6a1b0d
[ releases procedures ] Used cabal-install 3.2.0.0.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
7c78ef06e5
[ releases procedures ] Added file from the user manual.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
bd16cb3e78
[ agda-releases ] Updated 'Read the docs' instructions.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
3135dc8f4b
[ closed #4705 ] Added instrucctions for handling the CHANGELOG file.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
6a1edadac4
[ release procedure ] Added instruction related to the previous CHANGELOG.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
189cdcc275
Updated releases notes.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
548952b936
Updated releases notes.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
1fa066ff59
Updated releases procedures.
|
преди 4 години |
|
Andrés Sicard-Ramírez
|
fff701f5ab
[ release procedures ] Updated some steps.
|
преди 5 години |
|
Andrés Sicard-Ramírez
|
662e545add
[ release procedures ] Updated.
|
преди 5 години |
|
Andrés Sicard-Ramírez
|
80558ae951
[ release procedures ] Updated steps.
|
преди 5 години |
|
Andrés Sicard-Ramírez
|
064095e140
[ closed #2512 ] Split the changelog.
|
преди 5 години |
|
Andrés Sicard-Ramírez
|
fbed305343
[ release procedures ] Updated obselete step.
|
преди 5 години |
|
Andrés Sicard-Ramírez
|
83cb9fe857
[ releases-notes ] Added note on the year of the user manual.
|
преди 5 години |
|
Andrés Sicard-Ramírez
|
e61495c7b4
[ releases procedures ] Added note related to white-space issues.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
0762e94f50
[ release tools ] Added `change-version.bash` script.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
afa864349f
[ user manual ] Added link the the LICENSE file.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
2faff03275
[ releases notes ] Added contributor entry.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
bd338484dd
Updated releases procedures.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
93276114dd
[ releases notes ] Made some changes.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
d5acdfcc47
Updated releases notes
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
91e959f059
[ #3035, releases notes ] Added step for removing the documentation.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
bbd34db614
[ release procedures ] Updated upload procedures.
|
преди 7 години |
