/Slides/
drwxr-xr-x [up]
drwxr-xr-x data
drwxr-xr-x pics
-rw-r--r-- 2022-09-12 23:32 +0200 6135 data.sty
-rw-r--r-- 2022-09-12 23:32 +0200 506 graph.sty
-rw-r--r-- 2022-09-12 23:32 +0200 2734 langs.sty
-rwxr-xr-x 2022-09-12 23:32 +0200 9379 proof.sty
-rw-r--r-- 2022-09-12 23:32 +0200 299008 slides01.pdf
-rw-r--r-- 2022-09-12 23:32 +0200 49013 slides01.tex
-rw-r--r-- 2022-09-12 23:32 +0200 2312951 slides02.pdf
-rw-r--r-- 2022-09-12 23:32 +0200 51086 slides02.tex
-rw-r--r-- 2022-09-12 23:32 +0200 1192377 slides03.pdf
-rw-r--r-- 2022-09-12 23:32 +0200 14491 slides03.tex
-rw-r--r-- 2022-09-12 23:32 +0200 272321 slides04.pdf
-rw-r--r-- 2022-09-12 23:32 +0200 18198 slides04.tex
-rw-r--r-- 2022-09-12 23:32 +0200 2060 slides2.sty