提交历史

作者 SHA1 备注 提交日期
  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. 3 年之前
  Andrés Sicard-Ramírez 7c78ef06e5 [ releases procedures ] Added file from the user manual. 3 年之前
  Andrés Sicard-Ramírez 189cdcc275 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 fbed305343 [ release procedures ] Updated obselete step. 5 年之前
  Andrés Sicard-Ramírez 20a4bd6069 [ #4216, release procedure ] Added entry for doc/user-manual.pdf. 5 年之前
  Andrés Sicard-Ramírez 337c34ae72 [ releases-procedure ] The RC number won't be include in the tag. 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. 5 年之前
  Andrés Sicard-Ramírez 42719b2b83 [ release notes ] Added release branch to Travis. 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 bbd34db614 [ release procedures ] Updated upload procedures. 7 年之前
  Andrés Sicard-Ramírez 9950653c56 [ #2884 ] Added entry to the releases procedures. 7 年之前
  Andrés Sicard-Ramírez 057b65a241 [ release procedures ] Included the list of contributors. 7 年之前
  Andrés Sicard-Ramírez 1a550f88e7 [ release procedures ] Removed test of `cabal haddock`. 7 年之前
  Andrés Sicard-Ramírez 4847f4382e [ agda-releases ] Added missing file extensions. 7 年之前