]> matita.cs.unibo.it Git - helm.git/commit
- update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 Oct 2014 15:04:57 +0000 (15:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 Oct 2014 15:04:57 +0000 (15:04 +0000)
commit636db4e12452d2ebce318b36cf5c41d30e4d9c29
tree9017e9bdaf1bec36bc6a0e31aa60a7c701317bce
parent5a35a42e23b2f343f0241eeb6648bf05f31720db
- update in basic_2
- update of the web site: we added a "citations" section in the news
14 files changed:
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/download/lambdadelta_2.tar.gz
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/specification.html
helm/www/lambdadelta/web/home/documentation.ldw.xml
helm/www/lambdadelta/web/home/news.ldw.xml
helm/www/lambdadelta/web/home/sitemap.tbl
helm/www/lambdadelta/web/home/specification.ldw.xml