projects / homepage.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
last movie
[homepage.git] / teaching / 0708 /
2009-01-19 Stefano Zacchiroliadd PDF of january logics exam tree | commitdiff
2009-01-05 Stefano Zacchirolitransition: prefix_directives tree | commitdiff
2008-09-30 Stefano Zacchirolilatest text of logica exam tree | commitdiff
2008-09-30 Stefano Zacchiroliadd the text of next-to-last logica exam tree | commitdiff
2008-09-06 Stefano Zacchirolifix markup typo tree | commitdiff
2008-09-05 Stefano Zacchiroliadd old exam with solution tree | commitdiff
2008-06-16 Stefano Zacchiroliadd info about file format tree | commitdiff
2008-06-16 Stefano Zacchirolifix markup typo tree | commitdiff
2008-06-16 Stefano Zacchiroliadd testo esame giugno 2008 tree | commitdiff
2008-05-24 Stefano ZacchiroliMerge branch 'master' of fettunta.org:/home/zack/git... tree | commitdiff
2008-05-17 Stefano Zacchiroliweb commit by zack tree | commitdiff
2008-05-15 Stefano ZacchiroliMerge branch 'master' of fettunta.org:/home/zack/git... tree | commitdiff
2008-05-15 Stefano Zacchiroliweb commit by zack tree | commitdiff
2008-05-15 Stefano Zacchiroliweb commit by zack tree | commitdiff
2008-05-15 Stefano Zacchiroliweb commit by zack tree | commitdiff
2008-05-15 Stefano Zacchiroliweb commit by zack: add missing dates tree | commitdiff
2008-05-15 Stefano Zacchiroliadd new exercises from Cinzia tree | commitdiff
2008-05-15 Stefano Zacchiroliaddendum tree | commitdiff
2008-05-14 Stefano Zacchiroliadd link to Messina homepage tree | commitdiff
2008-05-14 Stefano Zacchiroliadd iscritti list tree | commitdiff
2008-05-14 Stefano Zacchiroliadd preliminar exam info tree | commitdiff
2008-04-07 Stefano Zacchiroliupdate today lecture tree | commitdiff
2008-03-24 Stefano Zacchirolimore exercises on resolution method tree | commitdiff
2008-03-24 Stefano Zacchiroliwider margins tree | commitdiff
2008-03-24 Stefano Zacchiroliup to date e typo fixing tree | commitdiff
2008-03-24 Stefano ZacchiroliMerge branch 'logica' tree | commitdiff
2008-03-17 Stefano Zacchirolidraft new stuff for the logics course tree | commitdiff
2007-12-22 Stefano Zacchiroliyear based structure for teaching pages tree | commitdiff