| drwxr-xr-x | [up] | |||
| drwxr-xr-x | data | files | ||
| drwxr-xr-x | pics | files | ||
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 1825 | data.sty | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 506 | graph.sty | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 2734 | langs.sty | file | revisions | annotate |
| -rwxr-xr-x | 2017-03-04 22:27 +0000 | 9379 | proof.sty | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 2060 | slides.sty | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 299008 | slides01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 49013 | slides01.tex | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 2312951 | slides02.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 51086 | slides02.tex | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 1192377 | slides03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 14491 | slides03.tex | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 272321 | slides04.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-03-04 22:27 +0000 | 18198 | slides04.tex | file | revisions | annotate |