/slides/
drwxr-xr-x [up]
drwxr-xr-x pics
-rw-r--r-- 2025-09-05 16:59 +0100 3650 beamerthemeplaincu.sty
-rwxr-xr-x 2025-09-05 16:59 +0100 643 build.sc
-rw-r--r-- 2025-09-05 16:59 +0100 270 compiled.data
-rw-r--r-- 2025-09-05 16:59 +0100 222 compiled2.data
-rw-r--r-- 2025-09-05 16:59 +0100 244 interpreted.data
-rw-r--r-- 2025-09-05 16:59 +0100 236 interpreted2.data
-rw-r--r-- 2025-09-05 16:59 +0100 15251 mathpartir.sty
-rw-r--r-- 2025-09-05 16:59 +0100 1122640 slides01.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 63577 slides01.tex
-rw-r--r-- 2025-09-05 16:59 +0100 189407 slides02.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 47953 slides02.tex
-rw-r--r-- 2025-09-05 16:59 +0100 262976 slides03.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 73953 slides03.tex
-rw-r--r-- 2025-09-05 16:59 +0100 1182095 slides04.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 57985 slides04.tex
-rw-r--r-- 2025-09-05 16:59 +0100 130648 slides05.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 21456 slides05.tex
-rw-r--r-- 2025-09-05 16:59 +0100 106231 slides06.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 45946 slides06.tex
-rw-r--r-- 2025-09-05 16:59 +0100 150409 slides07.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 35683 slides07.tex
-rw-r--r-- 2025-09-05 16:59 +0100 274633 slides08.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 25634 slides08.tex
-rw-r--r-- 2025-09-05 16:59 +0100 1134447 slides09.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 38788 slides09.tex
-rw-r--r-- 2025-09-05 16:59 +0100 20691 slides09.tex-bak
-rw-r--r-- 2025-09-05 16:59 +0100 7632872 slides10.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 27600 slides10.tex
-rw-r--r-- 2025-09-05 16:59 +0100 185873 slides11.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 14171 slides11.tex
-rw-r--r-- 2025-09-05 16:59 +0100 1748769 slides12.pdf
-rw-r--r-- 2025-09-05 16:59 +0100 15808 slides12.tex
-rw-r--r-- 2025-09-05 16:59 +0100 27166 ssy.tex