diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -1,9 +1,12 @@ # Clean RTS Cheat Sheets [](https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet/commits/master) This repository holds cheat sheets for people hacking around with the [Clean][] -run-time system. The latest set of cheat sheets can be downloaded [here][pdf], -or you can clone the repository and run `pdflatex` on the file corresponding to -your platform. +run-time system. Clone the repository to build the PDFs or download them here: + +## Download links + +- [Linux x64][linux-x64] +- [Zip with all cheat sheets][zip] ## Naming conventions @@ -14,4 +17,6 @@ your platform. - **scr**: scratch register [Clean]: http://clean.cs.ru.nl -[pdf]: https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet/-/jobs/artifacts/master/download?job=pdf + +[linux-x64]: https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet/-/jobs/artifacts/master/raw/linux-x64.pdf?job=pdf +[zip]: https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet/-/jobs/artifacts/master/download?job=pdf |