]> matita.cs.unibo.it Git - helm.git/commit
the dehyphenation update continues ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 12:47:44 +0000 (12:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 12:47:44 +0000 (12:47 +0000)
commit69df1b28ba8f91fec33d8d13da8bb822275026e1
tree30763c9c489b1d2637d0e40b398c79f913fa7b66
parent158da000d9934317055becd9c221c15395970982
the dehyphenation update continues ...
helm/www/lambdadelta/download/lambdadelta.bib
helm/www/lambdadelta/download/lambdadelta.txt
helm/www/lambdadelta/images/basic_32.png