/
drwxr-xr-x [up]
drwxr-xr-x pics
-rw-r--r-- 2012-10-04 09:07 +0100 105 app0.scala
-rw-r--r-- 2012-10-04 09:07 +0100 187 app1.scala
-rw-r--r-- 2012-10-04 09:07 +0100 383 app2.scala
-rw-r--r-- 2012-10-04 09:07 +0100 253 app3.scala
-rw-r--r-- 2012-10-04 09:07 +0100 407 app4.scala
-rw-r--r-- 2012-10-04 09:07 +0100 238 app5.scala
-rw-r--r-- 2012-10-04 09:07 +0100 254 app51.scala
-rw-r--r-- 2012-10-04 09:07 +0100 353 app6.scala
-rw-r--r-- 2012-10-04 09:07 +0100 445 app7.scala
-rwxr-xr-x 2012-10-04 09:07 +0100 3208 beamerthemeplainculight.sty
-rw-r--r-- 2012-10-04 09:07 +0100 3536 crawler.scala
-rw-r--r-- 2012-10-04 09:07 +0100 965 crawler1.scala
-rw-r--r-- 2012-10-04 09:07 +0100 1006 crawler2.scala
-rw-r--r-- 2012-10-04 09:07 +0100 1243 crawler3.scala
-rw-r--r-- 2012-10-04 09:07 +0100 85199 hw01.pdf
-rw-r--r-- 2012-10-04 09:07 +0100 1213 hw01.tex
-rwxr-xr-x 2012-10-04 09:07 +0100 15251 mathpartir.sty
-rw-r--r-- 2012-10-04 09:07 +0100 3018 regexp.scala
-rw-r--r-- 2012-10-04 09:07 +0100 1456 scraper.scala
-rw-r--r-- 2012-10-04 09:07 +0100 296019 slides01.pdf
-rw-r--r-- 2012-10-04 09:07 +0100 14050 slides01.tex
-rw-r--r-- 2012-10-04 09:07 +0100 132850 slides02.pdf
-rw-r--r-- 2012-10-04 09:07 +0100 15412 slides02.tex