/
drwxr-xr-x [up]
drwxr-xr-x pics
-rw-r--r-- 2012-09-27 11:59 +0100 105 app0.scala
-rw-r--r-- 2012-09-27 11:59 +0100 187 app1.scala
-rw-r--r-- 2012-09-27 11:59 +0100 383 app2.scala
-rw-r--r-- 2012-09-27 11:59 +0100 253 app3.scala
-rw-r--r-- 2012-09-27 11:59 +0100 457 app4.scala
-rw-r--r-- 2012-09-27 11:59 +0100 238 app5.scala
-rw-r--r-- 2012-09-27 11:59 +0100 254 app51.scala
-rw-r--r-- 2012-09-27 11:59 +0100 353 app6.scala
-rw-r--r-- 2012-09-27 11:59 +0100 445 app7.scala
-rwxr-xr-x 2012-09-27 11:59 +0100 3208 beamerthemeplainculight.sty
-rw-r--r-- 2012-09-27 11:59 +0100 3536 crawler.scala
-rw-r--r-- 2012-09-27 11:59 +0100 965 crawler1.scala
-rw-r--r-- 2012-09-27 11:59 +0100 1006 crawler2.scala
-rw-r--r-- 2012-09-27 11:59 +0100 1243 crawler3.scala
-rw-r--r-- 2012-09-27 11:59 +0100 1178 hw01.tex
-rwxr-xr-x 2012-09-27 11:59 +0100 15251 mathpartir.sty
-rw-r--r-- 2012-09-27 11:59 +0100 1512 regexp.scala
-rw-r--r-- 2012-09-27 11:59 +0100 1456 scraper.scala
-rw-r--r-- 2012-09-27 11:59 +0100 296008 slides01.pdf
-rw-r--r-- 2012-09-27 11:59 +0100 13980 slides01.tex
-rw-r--r-- 2012-09-27 11:59 +0100 17218 slides02.tex