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