/
drwxr-xr-x [up]
drwxr-xr-x pics
-rw-r--r-- 2012-10-12 05:45 +0100 105 app0.scala
-rw-r--r-- 2012-10-12 05:45 +0100 187 app1.scala
-rw-r--r-- 2012-10-12 05:45 +0100 383 app2.scala
-rw-r--r-- 2012-10-12 05:45 +0100 253 app3.scala
-rw-r--r-- 2012-10-12 05:45 +0100 407 app4.scala
-rw-r--r-- 2012-10-12 05:45 +0100 238 app5.scala
-rw-r--r-- 2012-10-12 05:45 +0100 254 app51.scala
-rw-r--r-- 2012-10-12 05:45 +0100 353 app6.scala
-rw-r--r-- 2012-10-12 05:45 +0100 445 app7.scala
-rwxr-xr-x 2012-10-12 05:45 +0100 3208 beamerthemeplainculight.sty
-rw-r--r-- 2012-10-12 05:45 +0100 3536 crawler.scala
-rw-r--r-- 2012-10-12 05:45 +0100 965 crawler1.scala
-rw-r--r-- 2012-10-12 05:45 +0100 1006 crawler2.scala
-rw-r--r-- 2012-10-12 05:45 +0100 1243 crawler3.scala
-rw-r--r-- 2012-10-12 05:45 +0100 85199 hw01.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 1213 hw01.tex
-rw-r--r-- 2012-10-12 05:45 +0100 69279 hw02.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 969 hw02.tex
-rw-r--r-- 2012-10-12 05:45 +0100 81431 hw03.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 1434 hw03.tex
-rw-r--r-- 2012-10-12 05:45 +0100 81917 hw04.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 1266 hw04.tex
-rwxr-xr-x 2012-10-12 05:45 +0100 15251 mathpartir.sty
-rw-r--r-- 2012-10-12 05:45 +0100 103520 proof.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 6755 proof.tex
-rw-r--r-- 2012-10-12 05:45 +0100 3128 regexp.scala
-rw-r--r-- 2012-10-12 05:45 +0100 3958 regexp2.scala
-rw-r--r-- 2012-10-12 05:45 +0100 4656 regexp3.scala
-rw-r--r-- 2012-10-12 05:45 +0100 1456 scraper.scala
-rw-r--r-- 2012-10-12 05:45 +0100 296019 slides01.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 14050 slides01.tex
-rw-r--r-- 2012-10-12 05:45 +0100 132875 slides02.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 15420 slides02.tex
-rw-r--r-- 2012-10-12 05:45 +0100 86770 slides03.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 11817 slides03.tex
-rw-r--r-- 2012-10-12 05:45 +0100 88107 slides04.pdf
-rw-r--r-- 2012-10-12 05:45 +0100 11497 slides04.tex