projects
/
homepage.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
homepage.git
2008-04-10
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/
commit
|
commitdiff
|
tree
2008-04-10
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/
commit
|
commitdiff
|
tree
2008-04-10
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/:
commit
|
commitdiff
|
tree
2008-04-10
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/
commit
|
commitdiff
|
tree
2008-04-08
Stefano Zacchiroli
tagging also with "ocaml" to the benefits of ocamlcore...
commit
|
commitdiff
|
tree
2008-04-08
Stefano Zacchiroli
land of lisp post
commit
|
commitdiff
|
tree
2008-04-07
Stefano Zacchiroli
update today lecture
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
provide a link for album d'aprile
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
convention to specify authors
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
add a book by Calvino
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
added album d'aprile
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-04-06
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
bump copyright in the about page
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
update with my PPS affiliation
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
add mention of poor connectivity
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
post about moving to paris
commit
|
commitdiff
|
tree
2008-04-03
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-02
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-02
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-04-02
Stefano Zacchiroli
web commit by stefano.zacchiroli.myopenid.com/
commit
|
commitdiff
|
tree
2008-03-31
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-03-31
Stefano Zacchiroli
refresh vitae
commit
|
commitdiff
|
tree
2008-03-29
Stefano Zacchiroli
web commit by zack: tutta la vita davanti
commit
|
commitdiff
|
tree
2008-03-28
Stefano Zacchiroli
wider margins thanks to Tincho
commit
|
commitdiff
|
tree
2008-03-28
Stefano Zacchiroli
add trailing "update" line
commit
|
commitdiff
|
tree
2008-03-28
Stefano Zacchiroli
link pointing to media.debconf.org
commit
|
commitdiff
|
tree
2008-03-28
Stefano Zacchiroli
debconf8 sticker blog post
commit
|
commitdiff
|
tree
2008-03-27
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-03-27
Stefano Zacchiroli
galax 1.1 post
commit
|
commitdiff
|
tree
2008-03-25
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-03-24
Stefano Zacchiroli
blog post on perl 6 sigils
commit
|
commitdiff
|
tree
2008-03-24
Stefano Zacchiroli
more exercises on resolution method
commit
|
commitdiff
|
tree
2008-03-24
Stefano Zacchiroli
wider margins
commit
|
commitdiff
|
tree
2008-03-24
Stefano Zacchiroli
up to date e typo fixing
commit
|
commitdiff
|
tree
2008-03-24
Stefano Zacchiroli
Merge branch 'logica'
commit
|
commitdiff
|
tree
2008-03-23
Stefano Zacchiroli
paris, texas
commit
|
commitdiff
|
tree
2008-03-21
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-03-21
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-03-21
Stefano Zacchiroli
ocaml 3.10.1 good news
commit
|
commitdiff
|
tree
2008-03-20
Stefano Zacchiroli
wording
commit
|
commitdiff
|
tree
2008-03-20
Stefano Zacchiroli
post on "no-folds please" for the ocaml planet
commit
|
commitdiff
|
tree
2008-03-19
Stefano Zacchiroli
blog post on git-buildpackage and debian-only layouts
commit
|
commitdiff
|
tree
2008-03-19
Stefano Zacchiroli
missing tag addition round
commit
|
commitdiff
|
tree
2008-03-17
Stefano Zacchiroli
draft new stuff for the logics course
commit
|
commitdiff
|
tree
2008-03-16
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-03-16
Stefano Zacchiroli
ayh post
commit
|
commitdiff
|
tree
2008-03-10
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-03-09
Stefano Zacchiroli
web commit by http://cduce.org/~abate/openid/
commit
|
commitdiff
|
tree
2008-03-08
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-03-08
Stefano Zacchiroli
post about ocaml forge beta testing
commit
|
commitdiff
|
tree
2008-03-07
Stefano Zacchiroli
web commit by zack: add mention of the previous planet...
commit
|
commitdiff
|
tree
2008-03-07
Stefano Zacchiroli
web commit by http://cduce.org/~abate/openid/
commit
|
commitdiff
|
tree
2008-03-07
Stefano Zacchiroli
web commit by cduce.org/~abate/openid/: reword ......
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
web commit by zack: uniform naming for the team
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
remove the "all posts" page, is too slow to update
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
update the book list, new movie list
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
web commit by zack: some changes, comsetics and not
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
restructuring ocamlcore namespace
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-03-05
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-03-04
Stefano Zacchiroli
update with my current aliases
commit
|
commitdiff
|
tree
2008-03-04
Stefano Zacchiroli
post about the ocaml transition
commit
|
commitdiff
|
tree
2008-03-02
Stefano Zacchiroli
update about the bug report on the subject
commit
|
commitdiff
|
tree
2008-03-02
Stefano Zacchiroli
fix main page titles
commit
|
commitdiff
|
tree
2008-03-02
Stefano Zacchiroli
post about doc-base
commit
|
commitdiff
|
tree
2008-02-28
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-02-28
Stefano Zacchiroli
camera ready of the www2008 paper
commit
|
commitdiff
|
tree
2008-02-28
Stefano Zacchiroli
web commit by http://cduce.org/~abate/openid/
commit
|
commitdiff
|
tree
2008-02-28
Stefano Zacchiroli
web commit by http://cduce.org/~abate/openid/
commit
|
commitdiff
|
tree
2008-02-28
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/
commit
|
commitdiff
|
tree
2008-02-28
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/
commit
|
commitdiff
|
tree
2008-02-27
Stefano Zacchiroli
web commit by toots
commit
|
commitdiff
|
tree
2008-02-18
Stefano Zacchiroli
post about galax in debian + fosdem
commit
|
commitdiff
|
tree
2008-02-17
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-02-17
Stefano Zacchiroli
update on the saxon helpers
commit
|
commitdiff
|
tree
2008-02-17
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-02-15
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
commit
|
commitdiff
|
tree
2008-02-15
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-02-15
Stefano Zacchiroli
post about XSL* and how to use them in Debian
commit
|
commitdiff
|
tree
2008-02-09
Stefano Zacchiroli
post about debian installation on zonbu
commit
|
commitdiff
|
tree
2008-02-08
Stefano Zacchiroli
this file should not be here, but rather at top level
commit
|
commitdiff
|
tree
2008-02-08
Stefano Zacchiroli
google html verification file
commit
|
commitdiff
|
tree
2008-02-07
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-02-07
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-02-07
Stefano Zacchiroli
web commit by zack
commit
|
commitdiff
|
tree
2008-02-06
Stefano Zacchiroli
web commit by http://sylvain.le-gall.net/
commit
|
commitdiff
|
tree
2008-02-06
Stefano Zacchiroli
announcing upload of ocaml 3.10.1
commit
|
commitdiff
|
tree
next