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