This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker 2a17d4066a

Fix last errors spotted by Guido

2021-11-08 19:50:07 +11:00

..

bibliography

Attempt at remaining feedback

2021-11-05 16:49:10 +11:00

fonts

Switch fonts to IBM Plex

2021-05-17 17:34:57 +10:00

img

Final changes

2021-07-29 22:20:07 +10:00

listing

Fix last errors spotted by Guido

2021-11-08 19:50:07 +11:00

table

Fix some final formatting issues

2021-11-08 13:03:08 +11:00

acronyms.tex

Add acronyms to glossary entries

2021-07-29 19:29:08 +10:00

glossary.tex

Attempt at remaining feedback

2021-11-05 16:49:10 +11:00

layout.tex

Remove dots after table number

2021-06-12 17:20:15 +10:00

packages.tex

Fix some final formatting issues

2021-11-08 13:03:08 +11:00

shorthands.tex

Attempt at remaining feedback

2021-11-05 16:49:10 +11:00