update with my PPS affiliation
[homepage.git] / teaching / 0708 /
2008-03-24 Stefano Zacchirolimore exercises on resolution method
2008-03-24 Stefano Zacchiroliwider margins
2008-03-24 Stefano Zacchiroliup to date e typo fixing
2008-03-24 Stefano ZacchiroliMerge branch 'logica'
2008-03-17 Stefano Zacchirolidraft new stuff for the logics course
2007-12-22 Stefano Zacchiroliyear based structure for teaching pages