/slides/
drwxr-xr-x [up]
drwxr-xr-x pics
-rw-r--r-- 2023-10-29 00:06 +0100 3650 beamerthemeplaincu.sty
-rwxr-xr-x 2023-10-29 00:06 +0100 643 build.sc
-rw-r--r-- 2023-10-29 00:06 +0100 270 compiled.data
-rw-r--r-- 2023-10-29 00:06 +0100 222 compiled2.data
-rw-r--r-- 2023-10-29 00:06 +0100 244 interpreted.data
-rw-r--r-- 2023-10-29 00:06 +0100 236 interpreted2.data
-rw-r--r-- 2023-10-29 00:06 +0100 15251 mathpartir.sty
-rw-r--r-- 2023-10-29 00:06 +0100 1319482 slides01.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 61662 slides01.tex
-rw-r--r-- 2023-10-29 00:06 +0100 182853 slides02.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 45148 slides02.tex
-rw-r--r-- 2023-10-29 00:06 +0100 245272 slides03.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 66257 slides03.tex
-rw-r--r-- 2023-10-29 00:06 +0100 1174204 slides04.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 57606 slides04.tex
-rw-r--r-- 2023-10-29 00:06 +0100 130756 slides05.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 21457 slides05.tex
-rw-r--r-- 2023-10-29 00:06 +0100 100937 slides06.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 44776 slides06.tex
-rw-r--r-- 2023-10-29 00:06 +0100 152245 slides07.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 36875 slides07.tex
-rw-r--r-- 2023-10-29 00:06 +0100 271840 slides08.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 23698 slides08.tex
-rw-r--r-- 2023-10-29 00:06 +0100 410965 slides09.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 35113 slides09.tex
-rw-r--r-- 2023-10-29 00:06 +0100 20691 slides09.tex-bak
-rw-r--r-- 2023-10-29 00:06 +0100 1814130 slides10.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 26747 slides10.tex
-rw-r--r-- 2023-10-29 00:06 +0100 185873 slides11.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 14171 slides11.tex
-rw-r--r-- 2023-10-29 00:06 +0100 1748769 slides12.pdf
-rw-r--r-- 2023-10-29 00:06 +0100 15808 slides12.tex
-rw-r--r-- 2023-10-29 00:06 +0100 25636 ssy.tex