| drwxr-xr-x | [up] | |||
| drwxr-xr-x | pics | files | ||
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 105 | app0.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 187 | app1.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 383 | app2.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 253 | app3.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 407 | app4.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 238 | app5.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 254 | app51.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 353 | app6.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 445 | app7.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 2857 | automata.scala | file | revisions | annotate |
| -rwxr-xr-x | 2012-10-17 23:22 +0100 | 3208 | beamerthemeplainculight.sty | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 3536 | crawler.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 965 | crawler1.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 1006 | crawler2.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 1243 | crawler3.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 85199 | hw01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 1213 | hw01.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 69279 | hw02.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 969 | hw02.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 81431 | hw03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 1434 | hw03.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 85164 | hw04.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 1737 | hw04.tex | file | revisions | annotate |
| -rwxr-xr-x | 2012-10-17 23:22 +0100 | 15251 | mathpartir.sty | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 105362 | proof.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 7811 | proof.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 3128 | regexp.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 3958 | regexp2.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 4655 | regexp3.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 1456 | scraper.scala | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 296019 | slides01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 14050 | slides01.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 132875 | slides02.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 15420 | slides02.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 86770 | slides03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 11817 | slides03.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 216999 | slides04.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-10-17 23:22 +0100 | 15881 | slides04.tex | file | revisions | annotate |