]> matita.cs.unibo.it Git - helm.git/commit
web site minor update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 Dec 2015 17:26:32 +0000 (17:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 Dec 2015 17:26:32 +0000 (17:26 +0000)
commit3bd760474c12a1c527e24ac7ed39412d994e2db5
treeb9a0a954f9da53cd9fd6caf809c6a2ca20085fbd
parentf72807cb8834aa8991919e365b57d553e3674908
web site minor update
helm/www/lambdadelta/download/lambdadelta.bib
helm/www/lambdadelta/download/lambdadelta.txt
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/web/home/implementation.ldw.xml
helm/www/lambdadelta/web/home/news.ldw.xml