/programs/
drwxr-xr-x [up]
-rw-r--r-- 2013-11-12 10:51 +0000 343 Application0.scala
-rw-r--r-- 2013-11-12 10:51 +0000 908 Application1.scala
-rw-r--r-- 2013-11-12 10:51 +0000 1171 Application2.scala
-rw-r--r-- 2013-11-12 10:51 +0000 1401 Application3.scala
-rw-r--r-- 2013-11-12 10:51 +0000 1471 Application4.scala
-rw-r--r-- 2013-11-12 10:51 +0000 1043 C0-long.c
-rw-r--r-- 2013-11-12 10:51 +0000 494 C0.c
-rw-r--r-- 2013-11-12 10:51 +0000 664 C1.c
-rw-r--r-- 2013-11-12 10:51 +0000 929 C2.c
-rw-r--r-- 2013-11-12 10:51 +0000 302 C3.c
-rw-r--r-- 2013-11-12 10:51 +0000 260 C4.c
-rwxr-xr-x 2013-11-12 10:51 +0000 65 args2-bad
-rwxr-xr-x 2013-11-12 10:51 +0000 41 args2-good
-rwxr-xr-x 2013-11-12 10:51 +0000 1039 args3
-rw-r--r-- 2013-11-12 10:51 +0000 3319 prove1.scala
-rw-r--r-- 2013-11-12 10:51 +0000 3482 prove2.scala
-rw-r--r-- 2013-11-12 10:51 +0000 405 routes