| drwxr-xr-x | [up] | |||
| drwxr-xr-x | data | files | ||
| drwxr-xr-x | pics | files | ||
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 6135 | data.sty | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 506 | graph.sty | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 2734 | langs.sty | file | revisions | annotate |
| -rwxr-xr-x | 2022-07-01 13:02 +0100 | 9379 | proof.sty | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 299008 | slides01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 49013 | slides01.tex | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 2312951 | slides02.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 51086 | slides02.tex | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 1192377 | slides03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 14491 | slides03.tex | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 272321 | slides04.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 18198 | slides04.tex | file | revisions | annotate |
| -rw-r--r-- | 2022-07-01 13:02 +0100 | 2060 | slides2.sty | file | revisions | annotate |