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