/
drwxr-xr-x [up]
drwxr-xr-x pics
drwxr-xr-x programs
-rw-r--r-- 2012-10-16 12:10 +0100 181 app0.scala
-rw-r--r-- 2012-10-16 12:10 +0100 662 app1.scala
-rw-r--r-- 2012-10-16 12:10 +0100 766 app2.scala
-rwxr-xr-x 2012-10-16 12:10 +0100 3208 beamerthemeplainculight.sty
-rw-r--r-- 2012-10-16 12:10 +0100 49512 hw01.pdf
-rw-r--r-- 2012-10-16 12:10 +0100 1246 hw01.tex
-rw-r--r-- 2012-10-16 12:10 +0100 28089 hw02.pdf
-rw-r--r-- 2012-10-16 12:10 +0100 743 hw02.tex
-rw-r--r-- 2012-10-16 12:10 +0100 33944 hw03.pdf
-rw-r--r-- 2012-10-16 12:10 +0100 1055 hw03.tex
-rw-r--r-- 2012-10-16 12:10 +0100 997 hw04.tex
-rwxr-xr-x 2012-10-16 12:10 +0100 15251 mathpartir.sty
-rw-r--r-- 2012-10-16 12:10 +0100 265 root.beamer.tex
-rw-r--r-- 2012-10-16 12:10 +0100 425 root.notes.tex
-rw-r--r-- 2012-10-16 12:10 +0100 793380 slides01.pdf
-rw-r--r-- 2012-10-16 12:10 +0100 31051 slides01.tex
-rw-r--r-- 2012-10-16 12:10 +0100 554666 slides02.pdf
-rw-r--r-- 2012-10-16 12:10 +0100 12686 slides02.tex
-rw-r--r-- 2012-10-16 12:10 +0100 463398 slides03.pdf
-rw-r--r-- 2012-10-16 12:10 +0100 23335 slides03.tex
-rw-r--r-- 2012-10-16 12:10 +0100 2173223 slides04.pdf
-rw-r--r-- 2012-10-16 12:10 +0100 30255 slides04.tex