| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 11161 | LambdaBook.jpg | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 20060 | Screen1.png | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 58977 | Screen2.png | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 54389 | Screen3.png | file | revisions | annotate |
| -rwxr-xr-x | 2018-04-19 13:57 +0100 | 88351 | appel.jpg | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 72641 | approved.png | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 17569 | barendregt.jpg | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 3633 | beamerthemeplaincu.sty | file | revisions | annotate |
| -rwxr-xr-x | 2018-04-19 13:57 +0100 | 5470 | beamerthemeplaincudark.sty | file | revisions | annotate |
| -rwxr-xr-x | 2018-04-19 13:57 +0100 | 3201 | beamerthemeplainculight.sty | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 52817 | evil.png | file | revisions | annotate |
| -rwxr-xr-x | 2018-04-19 13:57 +0100 | 46431 | harper.jpg | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 11379 | isabelle1.png | file | revisions | annotate |
| -rwxr-xr-x | 2018-04-19 13:57 +0100 | 57196 | ken-thompson.jpg | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 9925 | notok.png | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 10910 | ok.png | file | revisions | annotate |
| -rwxr-xr-x | 2018-04-19 13:57 +0100 | 22819 | pfenning.jpg | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 83696 | robin-milner.jpg | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 265 | root.beamer.tex | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 425 | root.notes.tex | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 5276 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2018-04-19 13:57 +0100 | 76158 | sun.png | file | revisions | annotate |
