papers: fix mention of ACM SIGSOFT award
[homepage.git] / teaching / 0708 /
drwxr-xr-x   ..
-rw-r--r-- 766 labprog.mdwn
drwxr-xr-x - labprog
-rw-r--r-- 1269 logica.mdwn
drwxr-xr-x - logica