books: add publication date to last year reads
[homepage.git] / teaching / 0708 /
2009-01-19 Stefano Zacchiroliadd PDF of january logics exam
2009-01-05 Stefano Zacchirolitransition: prefix_directives
2008-09-30 Stefano Zacchirolilatest text of logica exam
2008-09-30 Stefano Zacchiroliadd the text of next-to-last logica exam
2008-09-06 Stefano Zacchirolifix markup typo
2008-09-05 Stefano Zacchiroliadd old exam with solution
2008-06-16 Stefano Zacchiroliadd info about file format
2008-06-16 Stefano Zacchirolifix markup typo
2008-06-16 Stefano Zacchiroliadd testo esame giugno 2008
2008-05-24 Stefano ZacchiroliMerge branch 'master' of fettunta.org:/home/zack/git...
2008-05-17 Stefano Zacchiroliweb commit by zack
2008-05-15 Stefano ZacchiroliMerge branch 'master' of fettunta.org:/home/zack/git...
2008-05-15 Stefano Zacchiroliweb commit by zack
2008-05-15 Stefano Zacchiroliweb commit by zack
2008-05-15 Stefano Zacchiroliweb commit by zack
2008-05-15 Stefano Zacchiroliweb commit by zack: add missing dates
2008-05-15 Stefano Zacchiroliadd new exercises from Cinzia
2008-05-15 Stefano Zacchiroliaddendum
2008-05-14 Stefano Zacchiroliadd link to Messina homepage
2008-05-14 Stefano Zacchiroliadd iscritti list
2008-05-14 Stefano Zacchiroliadd preliminar exam info
2008-04-07 Stefano Zacchiroliupdate today lecture
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