/slides/ default tip
drwxr-xr-x [up]
drwxr-xr-x pics
-rw-r--r-- 2025-10-19 09:51 +0200 3650 beamerthemeplaincu.sty
-rwxr-xr-x 2025-10-19 09:51 +0200 643 build.sc
-rw-r--r-- 2025-10-19 09:51 +0200 270 compiled.data
-rw-r--r-- 2025-10-19 09:51 +0200 222 compiled2.data
-rw-r--r-- 2025-10-19 09:51 +0200 244 interpreted.data
-rw-r--r-- 2025-10-19 09:51 +0200 236 interpreted2.data
-rw-r--r-- 2025-10-19 09:51 +0200 15251 mathpartir.sty
-rw-r--r-- 2025-10-19 09:51 +0200 5812137 slides01.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 64100 slides01.tex
-rw-r--r-- 2025-10-19 09:51 +0200 4914426 slides02.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 49400 slides02.tex
-rw-r--r-- 2025-10-19 09:51 +0200 269885 slides03.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 75887 slides03.tex
-rw-r--r-- 2025-10-19 09:51 +0200 1182095 slides04.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 57985 slides04.tex
-rw-r--r-- 2025-10-19 09:51 +0200 130648 slides05.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 21456 slides05.tex
-rw-r--r-- 2025-10-19 09:51 +0200 106231 slides06.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 45946 slides06.tex
-rw-r--r-- 2025-10-19 09:51 +0200 150409 slides07.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 35683 slides07.tex
-rw-r--r-- 2025-10-19 09:51 +0200 274633 slides08.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 25634 slides08.tex
-rw-r--r-- 2025-10-19 09:51 +0200 1134447 slides09.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 38788 slides09.tex
-rw-r--r-- 2025-10-19 09:51 +0200 20691 slides09.tex-bak
-rw-r--r-- 2025-10-19 09:51 +0200 7632872 slides10.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 27600 slides10.tex
-rw-r--r-- 2025-10-19 09:51 +0200 185873 slides11.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 14171 slides11.tex
-rw-r--r-- 2025-10-19 09:51 +0200 1748769 slides12.pdf
-rw-r--r-- 2025-10-19 09:51 +0200 15808 slides12.tex
-rw-r--r-- 2025-10-19 09:51 +0200 27166 ssy.tex